IRTUM – Institutional Repository of the Technical University of Moldova
Despre unele latice generate de logici implicaţionale
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | NEGRU, Ion | |
| dc.date.accessioned | 2019-06-06T10:04:58Z | |
| dc.date.available | 2019-06-06T10:04:58Z | |
| dc.date.issued | 2015 | |
| dc.identifier.citation | NEGRU, Ion. Despre unele latice generate de logici implicaţionale. In: Conferința Tehnico-Științifică a Colaboratorilor, Doctoranzilor și Studenților, Universitatea Tehnică a Moldovei, 20 – 21 octombrie, 2014. Chișinău, 2015, vol. 3, pp. 163-164. ISBN 978-9975-45-249-6. ISBN 978-9975-45-382-0 (Vol.3). | en_US |
| dc.identifier.isbn | 978-9975-45-249-6 | |
| dc.identifier.uri | http://repository.utm.md/handle/5014/2709 | |
| dc.description | Resursă electronică | en_US |
| dc.description.abstract | Î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ă. | en_US |
| dc.language.iso | ro | en_US |
| dc.publisher | Tehnica UTM | en_US |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 United States | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/us/ | * |
| dc.subject | latice | en_US |
| dc.subject | logică implicaţională | en_US |
| dc.subject | regula de deducere Modus Ponens | en_US |
| dc.title | Despre unele latice generate de logici implicaţionale | en_US |
| dc.type | Article | en_US |
Files in this item
The following license files are associated with this item:
This item appears in the following Collection(s)
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States