Logique, automatique, informatique /
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | French |
| Publicado: |
Bucarest :
Éditions de l'Académie de la République Socialiste de Roumanie,
1971.
|
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 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.