| Articolul precedent |
| Articolul urmator |
 |
 208 1 |
| Ultima descărcare din IBN: 2023-10-12 20:13 |
 SM ISO690:2012NEGRU, Ion. Despre unele latice generate de logici implicaţionale. In: Conferinţa Tehnico-Ştiinţifică a Colaboratorilor, Doctoranzilor şi Studenţilor: consacrată celei de-a 50-a Aniversări a U.T.M., 20-21 octombrie 2014, Chișinău. Chișinău, Republica Moldova: Tehnica-UTM, 2014, Vol.3, pp. 163-164. ISBN 978-9975-45-249-6. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| Conferinţa Tehnico-Ştiinţifică a Colaboratorilor, Doctoranzilor şi Studenţilor Vol.3, 2014 |
||||||
|
Conferința "Conferinţa Tehnico-Ştiinţifică a Colaboratorilor, Doctoranzilor şi Studenţilor" Chișinău, Moldova, 20-21 octombrie 2014 | ||||||
|
||||||
| Pag. 163-164 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
În lucrare se prezintă diagramele a nouă latici finite. Pentru fiecare dintre aceste latici s-au construit logici implicaţionale concrete care generează laticea dată. |
||||||
| Cuvinte-cheie latice, logică implicaţională, regula de deducere Modus Ponens |
||||||
|
|
|
|
