Introduction à l’Informatique Théorique Master Systèmes Complexes 2009/2010 Cours (20h) : Eric Thierry TD (10h) : Jonathan Grattage.

Slides:



Advertisements
Présentations similaires
Architecture et programmation des ordinateurs
Advertisements

Séminaire Biblio LISC - 3/04/02 Complexité, information Daprès JP Delahaye (1999)
Logique et Raisonnement Scientifique
Logique et raisonnement scientifique
Logique et Raisonnement Scientifique A. Lecomte Gödel et lincomplétude.
Séminaire Florin Périer Alain Gély LIMOS
L’ordinateur Aspect théorique
Conception et analyse des algorithmes
Académie de Besançon Journées collège Evaluation par compétence, prise d'initiative, différenciation.
IFT Complexité et NP-complétude
Partie II Sémantique.
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Conception et analyse des algorithmes
D.E ZEGOUR Ecole Supérieure d’Informatique
Approches Formelles en Systèmes d'information
Algorithmes et Programmation
Projet : Histoire et Mathématiques
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
DU commerce éléctronique, mars Logique et fondements de l’informatique Université Paris II Michel de Rougemont
Logique et fondements de l’informatique
Introduction et Généralités sur l’Algorithmique
Algorithmique et Complexité
Multiplier aujourd'hui
Mathématiques discrètes Jean-Pierre Boutin S1S2 Math Discrètes 44hgraphes et langages 44h DS.
L’algorithmique au premier degré, c’est possible Partage d’expériences Conférence-atelier.
1 Le stage informatique de Master Rayonnement et Énergie 2009/2010 Ivana Hrivnacova Vincent Lafage Basé sur le stage informatique du LAL et IPN par (2005/2006):
1 Le stage informatique de Masters APIM et PIE (2012/2013) Ivana Hrivnacova Vincent Lafage Basé sur le stage informatique du LAL et IPN par (2005/2006):
Présentation du programme
Volée Semestre 3 Cours 1 : Approche du nombre Didactique des mathématiques C. Hauser 2015.
TP 1 Maths De la séquence à la séance… en passant par la classe.
La résolution de problèmes ouverts au cycle 2 et cycle 3 « Mettre les élèves en situation d’essayer, conjecturer, tester, prouver. » (IREM de Lyon)
Premier Degré.
V Suite géométrique : 1°) Définition : un+1
Architecture Informatique
Organisation du programme
Information, Calcul, Communication
Information, Calcul, Communication
Tiré de: J.-M. Muller, Arithmétique des ordinateurs, Masson, 1989.
Enseignement obligatoire au choix de mathématiques en 1e L Spécialité mathématique en T L Un apprentissage progressif de la logique: un des deux thèmes.
Calculer ou Penser ? A propos d'intelligence mécanique.
Informatique et Sciences du Numérique
Le professeur analyse votre travail à travers
POL1803: Analyse des techniques quantitatives
Fonctions Logiques & Algèbre de BOOLE
Machines, algorithmes et langage
Séminaire IREM 27 avril 2016 Alain Busser
Présentation du cours de Statistique de première année AgroParisTech
Module 1: Généralités sur les systèmes informatiques Chapitre 1: Définitions et notions de base.
Animation Programmer avec Scratch
Du calculateur à l’ordinateur
Représentation de Connaissances
Evaluation par compétences
SUJET : E C L A T UNIVERSITE GASTON BERGER DE SAINT LOUIS UFR DES SCIENCES APPLIQUEES ET DE TECHNOLOGIE MASTER PROFESSIONNEL EN DÉVELOPPEMENT DE SYSTÈMES.
ENSEIGNER L’ALGORITHMIQUE ET LA PROGRAMMATION AU COLLÈGE
Janvier 2019 IA-IPR Physique-Chimie
Le Projet en ISN.
1 Architecture des ordinateurs Généralités. 2 Définition Informatique = Information + Automatique Ce terme a été introduit en France. Il est très répandu.
MATHEMATIQUES ENSEIGNEMENT DE SPECIALITE
Enseignement de spécialité Classe de première, voie générale
Mathématiques.
2nde et enseignement de spécialité 1ère
CSI 3505 / Automne 2005: Conception et Analyse des Algorithmes I.
Tableau de bord d’un système de recommandation
Mathématiques.
22 Logique et bases de données
PAF Guillaume Martin - Fabrice Cizeron - Xavier Roulot
Mathématiques.
Public visé Sciences expérimentales Santé, médecine Environnement
Introduction aux Circuits Reconfigurables et FPGA.
Transcription de la présentation:

Introduction à l’Informatique Théorique Master Systèmes Complexes 2009/2010 Cours (20h) : Eric Thierry TD (10h) : Jonathan Grattage

L’informatique Usage courant : –Utilisation de logiciels. –Développement de logiciels. –Technologie. Science : –Élaboration de connaissances universelles. –Raisonnement logique. –Observation/expérimentation (dans certains cas).

La science informatique Science du calcul (dont traitement de l’information). L'informatique théorique : fondements logiques et mathématiques de la science informatique. L'informatique à part ça : architecture (hardware)réseaux systèmes (d’exploitation)sécurité langages de progcompilation bases de données intelligence artificielle interface homme/machine ………… Computer science / computer engineering

L’informatique théorique Théorie de la calculabilité Théorie de la complexité Théorie des automates Théorie de l’information Sémantique Algorithmique (générale puis par domaine) Logique mathématique Combinatoire Théorie des langages Théorie des graphes Interaction avec presque tous les domaines des maths (algèbre, analyse, probas, …) Informatique théo.Maths & logique

Questions fondamentales Que veut dire calculer ? (modèles de calcul) Est-ce que tout est calculable (quitte à disposer d’assez de ressources) ? (calculabilité) Quand on peut calculer, de quelles ressources a-t-on effectivement besoin (temps, espace, …) ? (complexité)

Des mots Church Indécidable Turing Gödel Récursif primitif Hilbert Automates Babbage von Neumann λ- calcul Machine universelle Complétude P NP

Histoire : il y a longtemps Abaques Babylone Démonstration s Les Grecs Algo PGCD Euclide 830 Algèbre Al- Khwarizmi

Antiquité Abaque : instrument mécanique plan facilitant calcul. Babylone -2400, Egypte, Chine, Inde, Grèce, Rome... Tablette d’argile Babylone (- 1800) Abaque romain (1er siècle)

Grèce antique Approche plus abstraite des mathématiques. Mathématiques associées à la philosophie. Naissance de la démonstration (Thalès, Pythagore, Hippocrate, Eudoxe, Euclide...).

Grèce antique Les Eléments (13 livres) : une synthèse avec traitement axiomatique et systématique en géométrie et arithmétique (déf., axiomes, théo., démo, rigueur). Algorithme de calcul du PGCD (Livre 7) : plus ancien algorithme non trivial connu. Euclide ( )

Histoire : il n’y a pas si longtemps Pascalin e Pascal Tables logarithmes Neper (→ règles à calcul) Stepped Reckoner Leibniz Arithmomete r Thomas Cartes perforées Jacquard Machine différentielle Machine analytique Babbage 184 0

Les premières calculettes Pascaline (Pascal,1640 ) +,-,(x),(/) Stepped Reckoner (Leibniz, 1670) +,-,(x),(/) Arithmomètre (Thomas, 1820) +,-,x,/

Babbage

Histoire : la naissance Architecture de von Neumann, 1947 (→ EDVAC, 1949) Z3 Zuse (1941 ) Calculateur de Atanasoff-Berry (1942) ENIAC Mauchly&Ecker t (1946) 1940 s 10 ème problème de Hilbert Programm e de Hilbert λ - calcul Church Machine de Turing Fonctions  - récursives Kleene Complétud e Gödel Incomplétud e Gödel 193 1

Problèmes de Hilbert Au 2ème congrès des mathématiciens (1900), Hilbert présente 23 problèmes. 10 ème problème : « Trouver un procédé qui peut déterminer par un nombre fini d’opérations si un système d’équation diophantiennes admet une solution ou non ». Hilbert ( )

Programme de Hilbert Nouveau congrès (1928) et trois questions fondamentales sur les mathématiques : –Complétude ? –Cohérence / consistance ? –Décidabilité ? Hilbert ( )

Logique mathématique Complétude d’une théorie mathématique : tout énoncé valide est démontrable. Cohérence d’une théorie mathématique : est-il possible de démontrer un énoncé et sa négation ? Décidabilité d’une théorie mathématique : existe-t-il une procédure pour décider si un énoncé est valide ou non ?

Valide / Démontrable Ensemble d’énoncés (règles de syntaxes) Ensemble d’axiomes Enoncé valide : tout modèle satisfiant les axiomes satisfait aussi l’énoncé. Enoncé démontrable (pour un système de déduction fixé) : pouvant être obtenue à partir des axiomes avec les règles d’inférence du système (règles de transformations syntaxiques).

De la complétude Complétude de la logique du premier ordre, par Gödel (1929). Exemples d’énoncés : Gödel ( )

De l’incomplétude Incomplétude de l’arithmétique, par Gödel (1931). Dans sa démonstration, Gödel utilise une notion de fonctions calculables. Gödel ( )

Calculabilité Church et Kleene introduisent des définitions équivalentes d’une classe générale de fonctions calculables. Fonctions récursives : Church ( ) Kleene ( ) f(0,x,y)=x f(n+1,x,y)=f(n,x+y,y+2) f(n,0,1) ?

Calculabilité Machine abstraite : Turing ( ) Indécidabilité de l’arrêt des machines de Turing. Indécidabilité de la logique du premier ordre.

Thèse de Church (1943) Les notions de fonctions calculables qui ont été formalisées sont : –équivalentes (affirmation démontrée mathématiquement) –exactement la formalisation de la notion intuitive de calcul / procédure / algorithme (philosophie). Church ( )

von Neumann architecture

ENIAC

Histoire : les temps modernes 10 ème problème Matiyasévitch P = NP ? Cook & Levin 200 9

10 ème problème de Hilbert Matiyasevitch démontre l’indécidabilité du 10 ème problème de Hilbert (1970). Matiyasevitc h (1947-)

Complexité Problèmes polynomiaux (P) : problèmes pour lesquels on peut trouver une solution en temps polynomial, càd borné par n p où : –n est la taille des données, –p est un exposant fixé (ne dépendant que du problème). Problèmes NP : problèmes pour lesquels on peut vérifier en temps polynomial si une solution candidate est valide.

Complexité Conjecture introduite simultanément par Cook et Levin (1970): P ≠ NP ? Millenium problem (2000) Cook (1939-) Levin (1948-) $