Fondements de l'Informatique: Logique, Modèles, Calculs

Olivier Bournez

Ouvrages Année : 2011

Fondements de l'Informatique: Logique, Modèles, Calculs

(1)

Olivier Bournez

Fonction : Auteur
PersonId : 754539
IdHAL : olivierbournez
ORCID : 0000-0002-9218-1130
IdRef : 136239927

Laboratoire d'informatique de l'École polytechnique [Palaiseau]

Résumé

Cours sur les fondements de l'informatique : il se focalise sur trois domaines centraux en informatique : la logique, les modèles de calculs et la complexité. Tous ces domaines sont reliés par la question suivante : quelles sont les capacités et les limites des ordinateurs ?

Domaines

Complexité [cs.CC]

Fichier principal

polyinf423.pdf (1.14 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Olivier Bournez : Connectez-vous pour contacter le contributeur

https://polytechnique.hal.science/hal-00760775

Soumis le : mardi 4 décembre 2012-13:56:43

Dernière modification le : vendredi 24 mars 2023-14:52:56

Archivage à long terme le : mardi 5 mars 2013-03:52:21

Dates et versions

hal-00760775 , version 1 (04-12-2012)

Identifiants

HAL Id : hal-00760775 , version 1

Citer

Olivier Bournez. Fondements de l'Informatique: Logique, Modèles, Calculs. Ecole Polytechnique, 2011. ⟨hal-00760775⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS LIX X-LIX X-DEP-INFO

562 Consultations

1292 Téléchargements

Fondements de l'Informatique: Logique, Modèles, Calculs

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager