Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Introduction to the theory of finite automata Kobrinskii, N. E. ; Trakhtenbrot, B. A. ; Shepherdson, J. C. | North-Holland Publishing Co. 1965

Ouvrage

V

- 337 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KOBR)

automate finie # estimation asymptotique # logique # noeud logique # opérateur

03D05 ; 03Gxx ; 18B20 ; 20F10

... Lire [+]

Filtrer

Type
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
cord.htm?list=link&xRecord=19240714146910689969" class='linkstyle1'>14M25 ; 17B01 ; 20C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Méthode axiomatique et formalisme. Fasc. II :
axiomatique et système formel
Cavailles, Jean | Hermann & Cie. 1938

Ouvrage

V

- Pp. 76-131

Actualités scientifiques et industrielles , 0609

Localisation : Ouvrage RdC (CAVA)

adjonction d'idéaux # axiomatique # catégoricité # fonction récurrente # indépendance # non contradiction # problème du continu # saturation # système formel

03D05 ; 03E50 ; 04A30 ; 43A60 ; 68Q45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematical structures of language Harris, Zellig | Interscience Publishers 1968

Ouvrage

V

- 230 p.

Interscience tracts in pure and applied mathematics , 0021

Localisation : Ouvrage RdC (HARR)

automate # forme de phrase # grammaire formelle # informatique théorique # langage formel # linguistique # métalangage # récursion # régularisation au delà du langage # semi-groupe # structure définie par des transformations # structure mathématique du langage # système abstrait # transformation des phrases

03D05 ; 20M35 ; 68Q45 ; 94A45

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logique, informatique et paradoxes Delahaye, Jean-Paul | 1993

Ouvrage

V


ISBN 978-2-9029-1894-2

Bibliothèque pour la science

Localisation : Disparu

Gödel # IP= PSPACE # algorithme # automate # calculabilité # cryptographie quantique # désordre # hyperensemble # indécidabilité # informatique # informatique théorique # inférence inductive # logique # machine de Turing # paradoxe # preuve probabiliste # thermodynamique # virus

03D05 ; 03D10 ; 03D35 ; 68Q05 ; 94A60

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logic, automata, and algorithms Aiserman, Mark A. ; Gusev, Leonid A. ; Kranc, George M. ; Rozonoer, Lev. I. | Academic Press 1971

Ouvrage

V

- 433 p.

Mathematics in science and engineering , 0079

Localisation : Ouvrage RdC (Logi)

algorithme # automate fini # calcul des propositions # logique # machine séquentielle # théorie des automates

03D05 ; 68Q10 ; 68Q25 ; 68Q68

... Lire [+]