2 résultat(s) recherche sur le mot-clé 'computable functions'

Brains, machines and mathematics / Arbib, Michael A.

Public ISBD Titre : Brains, machines and mathematics Type de document : texte imprimé Auteurs : Arbib, Michael A. Editeur : New york : McGray-Hill Book Compagny Année de publication : 1965 Importance : 152 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T05 Learning and adaptive systems 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) 92-XX Biology and other natural sciences:92BXX Mathematical biology in general:92B05 General biology and biomathematics Mots-clés : effective computations  turing machines  learning networks  pattern recognition networks  finite automata  neural nets  foundations of mathematics  computable functions  languages, automata, networks Index. décimale : 68C Monographie Brains, machines and mathematics [texte imprimé] / Arbib, Michael A. . - New york : McGray-Hill Book Compagny, 1965 . - 152 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T05 Learning and adaptive systems 92-XX Biology and other natural sciences:92-01 Instructional exposition (textbooks, tutorial papers, etc.) 92-XX Biology and other natural sciences:92BXX Mathematical biology in general:92B05 General biology and biomathematics Mots-clés : effective computations  turing machines  learning networks  pattern recognition networks  finite automata  neural nets  foundations of mathematics  computable functions  languages, automata, networks Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13940	68C92	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Logic, induction and sets / Thomas Forster

Public ISBD Titre : Logic, induction and sets Type de document : texte imprimé Auteurs : Thomas Forster Editeur : Cambridge University Press Année de publication : 2003 Collection : London Mathematical Society Student Texts num. 56 Importance : x, 234 p. ISBN/ISSN/EAN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie Logic, induction and sets [texte imprimé] / Thomas Forster . - [S.l.] : Cambridge University Press, 2003 . - x, 234 p.. - (London Mathematical Society Student Texts; 56) . ISBN : 978-0-521-53361-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : ordinals  propositional logic  textbook  recursive datatypes  posets  predicate logic  computable functions  set theory  lattices Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18284	03C171	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible