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ágs. : with figs., 10 l. of plates. ; 24 cm.
Incluye bibliografías.
Reseña: MathSciNet, 48 #5811
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.