Logique, automatique, informatique / O. Bîsca ... [et al. ; sous la direction de Gr. C. Moisil].
— Bucarest : Éditions de l'Académie de la République Socialiste de Roumanie, 1971. 456 p. : with figs., 10 l. of plates. ; 24 cm.
Incluye bibliografías.
Contenido: Préface / Gr. C. Moisil — Sur la catégorie des théories déductives / Virgil Emil Cazanescu — Remarques sur les théories déductives / Virgil Emil Cazanescu — La logique élémentaire / Gr. C. Moisil — Sur la logique de Heyting / Gh. S. Nadiu — Sur les algèbres de Lukasiewicz / Vlad Boicescu — Filtres de Stone dans les treillis distributifs / Mihail Cherciu — Les algèbres de Lukasiewicz $\theta$-valentes / George Georgescu — Algèbres de Morgan injectives / Ioana Petrescu — Sur quelques applications des équations booléennes / Sergiu Rudeanu — Quelques propriétés des algèbres de Morgan / Luminita State — La synthèse des automates finis par la méthode de A. Church / Octavian C. Bîsca — Les états transitoires dans les circuits séquentiels / Gr. C. Moisil — Méthodes combinatoires dans la théorie des automates finis / Ioan Tomescu — Intelligence artificielle : programmation d'un jeu de cartes / Corneliu Sicoe et Alexandru Teodorescu.
|