Biblio Math&Info
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'Logique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles / René Cori
Titre : Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..) Editeur : Dunod Année de publication : 2003 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-005453-4 Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Collège Scientifiques et techniques et sciences humaines Logique Sciences & Techniques Mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles : Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..) . - [S.l.] : Dunod, 2003. - (Sciences sup) .
ISBN : 978-2-10-005453-4
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Collège Scientifiques et techniques et sciences humaines Logique Sciences & Techniques Mathématiques Index. décimale : 511 Principes généraux des mathématiques Résumé : Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782100054534MIT001 511/068 Livre Maths&Informatique Fonds mathématiques Disponible 9782100054534MIT002 511/068 Livre Maths&Informatique Fonds mathématiques Disponible 9782100054534MIT003 511/068 Livre Maths&Informatique Fonds mathématiques Disponible Langages applicatifs, langues naturelles et cognition / Jean-Pierre Desclès
Titre : Langages applicatifs, langues naturelles et cognition Type de document : texte imprimé Auteurs : Jean-Pierre Desclès, Auteur Editeur : Paris : Hermès Année de publication : DL 1990, cop. 1990 Collection : Langue, raisonnement, calcul, ISSN 0988-0569 ISBN/ISSN/EAN : 978-2-86601-227-4 Note générale : Ce volume développe le cours donné à l'Ecole d'été de l'ARC au château de Bonas, Gers, du 30 juin au 13 juillet 1986 Catégories : Informatique
Informatique:programmes
Informatique:programmes:Langages de programmationMots-clés : Logique Linguistique cognitive Recherche Linguistique Informatique Langues artificielles Logique combinatoire Langages de programmation fonctionnelle Index. décimale : 005.133 Langages de programmation spécifiques Langages applicatifs, langues naturelles et cognition [texte imprimé] / Jean-Pierre Desclès, Auteur . - Paris : Hermès, DL 1990, cop. 1990. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-227-4
Ce volume développe le cours donné à l'Ecole d'été de l'ARC au château de Bonas, Gers, du 30 juin au 13 juillet 1986
Catégories : Informatique
Informatique:programmes
Informatique:programmes:Langages de programmationMots-clés : Logique Linguistique cognitive Recherche Linguistique Informatique Langues artificielles Logique combinatoire Langages de programmation fonctionnelle Index. décimale : 005.133 Langages de programmation spécifiques Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 9782866012274MIT001 005.133/247 Livre Maths&Informatique Fonds informatique Disponible