\newcommand{\ang}{{\bf {\mathcal A }}}
\newcommand{\bb}{{\bf {\mathcal B }}}
\newcommand{\pp}{{\bf {\mathcal P }}}
\newcommand{\cc}{{\bf C}}
\newcommand{\et}{\mathop{\rm et }}
\newcommand{\etc}{\mathop{\rm etc }}
\newcommand{\ou}{\mathop{\rm ou }}
\newcommand{\Ima}{\mathop{\rm Im }}
\newcommand{\Ker}{\mathop{\rm Ker }}
\newcommand{\si}{\mathop{\rm si }}
\newcommand{\re}{\mathop{\rm r\'e\'ecrire }}
\newcommand{\reu}{\mathop{\rm r\'eu }}
\newcommand{\alors}{\mathop{\rm alors }}
\newcommand{\Arctg}{\mathop{\rm Arctg }}
\newcommand{\sinon}{\mathop{\rm sinon }}
\newcommand{\non}{\mathop{\rm non }}
\newcommand{\rr}{{\bf R}}
\newcommand{\rdeu}{{\bf R^2}}
\newcommand{\rrn}{{\bf R^n}}
\newcommand{\nn}{{\bf N}}
\newcommand{\kk}{{\bf K}}
\newcommand{\kx}{{\bf K}[X]}
\newcommand{\rX}{{\bf R}[X]}
\newcommand{\qq}{{\bf Q}}
\newcommand{\zz}{{\bf Z}}
\newcommand{\rar}{\rightarrow}
\newcommand{\imp}{\Longrightarrow}
\newcommand{\limp}{\longleftarrow}
\newcommand{\lrimp}{\longleftrightarrow}
\newcommand{\ssi}{\Longleftrightarrow}
\newcommand{\ove}{\overline}
\documentclass[12pt]{article} \usepackage{vmargin}
\usepackage{amsmath}
\usepackage{amssymb}
\pagestyle{empty} \setmarginsrb{0.5cm}{0.6cm}{1.5cm}{0.6cm}{2cm}{2cm}{2cm}{2cm}

%\documentstyle[12pt]{article} \pagestyle{empty} \setlength{\textwidth}{13cm}
%\setlength{\parindent}{0pt} \setlength{\parskip}{.2em} 
\begin{document}
\begin{center} {\Large {\bf MIAS-SM  TC m\'ethodo
                    24/11/01   \\} }%\vspace{3cm}

        
     Calculettes et documents interdits. Dur\'ee: 30mn.
                  
                                    \end{center} 
				    
				    \vspace{3cm}


\begin{enumerate}


\item (sur 4)

Convertir $747$ en base $3$.

\item (sur 5)

Proposer une interpr\^etation formelle de "Si la somme de deux nombres est
non-nulle, c'est que l'un des deux est d\'ej\`a non-nul".

\item (sur 5)

Donner une d\'efinition pr\'ecise de "minor\'ee", en rappelant le type
correspondant. On ne demande pas la d\'efinition la plus g\'en\'erale. 
        
	
	\item (sur 6)
	
On consid\`ere une fonction $f$ d\'efinie sur $\rr$ et l'\'enonc\'e valide
suivant:
$$\forall x \in \rr, \, \forall y \in \rr, \, f(x) \le f(y) \imp x \le y $$

Calculer la n\'egation, la contrapos\'ee, la r\'eciproque de cet \'enonc\'e.

\end{enumerate}
\end{document}
	
	\item (sur)
L'une des formules de la feuille du bac est: $\overline {z}=x-iy$
Quelles y sont les variables libres? Indiquez les ressources mises en oeuvre
avec leur type. Quel est le contexte sous-entendu? Donner
une version quantifi\'ee de cette formule.


\item (2pt)%3
~Evaluer $P(-1)$ puis $P(e^{2i\pi/3})$ pour $P \equiv \Sigma ^{2000}_{p=1} X^p$. 


