Exercices de logique - Mathématiques pour l

Exercices de logique - Mathématiques pour l'informatique ...

Documents
45 pages
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Exercices de logique - Mathématiques pour l'informatique ...

Sujets

Informations

Publié par
Ajouté le 21 juillet 2011
Nombre de lectures 1 941
Langue Français
Signaler un problème
   
Université de Bretagne Sud
UFR Sciences et Sciences Pour l’Ingénieur
 
TAVRX AUDI
RIGES
              
 
   

    
Introduction à la logique
! "
Exercice 1 — Les profs de maths de lycée sont-ils de fieffés menteurs ?(contrôle continu 2001-2002)      !"    #  $%$&  %$' (   ! "  ) # $ # $ * + #,)  #!    -     !   " #  ./ $   %  
./
   
    
Logique des propositions (LP)
! "
Exercice 2 — Foules Sentimentales... 1 !  ## $& 2" " 3   # #!$   43 '  5"4 43 '  !%4" 43 '  !54  46    !  #74   ! #% $# &  !%!  ##  -2 52Ù  !2     2Ù  33 2Ú .  2Û3    2ÚÙ 3    +   ##  &  #%   * Exercice 3 — Météorologie logique    &  ##  !  -    '   (  )  ! ! &  " #  # *   * &  # *   (  0 , %  * % + *)     Exercice 4 — Nécessaire ou suffisant ?(contrôle continu 2001-2002 ; 5’) 1 !  ! " / 8 $$  ! ' 3$#" 99" -,  *  * *  ! % " :!  - ;!" #'<. / 0 )!5 .  !!  " '#3&8  #!-  #   # # ! 8 =& # / !  *0!  . >!#  &  ##   /  /!  #  /!  .!!' 1  # ! / $ pauseconclusive' "  #$%""
Exercice 5 — Petit précis de géométrie euclidienne #   .$$   &  ##  %$  $  - &  ,      ! 5 ,!  , "  1 $ ! $ !,  2   ,   * !,  $ , 1   * !,   ,  3%* !   !(  .31 !  !     !(*%*  3  (*%*  !   % 3%*  #  2  !  
0
   