Despre unele latice generate de logici implicaţionale

Negru Ion

Articolul precedent

Articolul urmator

209

Ultima descărcare din IBN:
2023-10-12 20:13

SM ISO690:2012

NEGRU, 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

Despre unele latice generate de logici implicaţionale

Pag. 163-164

Negru Ion

Universitatea Tehnică a Moldovei

Disponibil în IBN: 29 mai 2023

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

DataCite XML Export

<?xml version='1.0' encoding='utf-8'?>
<resource xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xmlns='http://datacite.org/schema/kernel-3' xsi:schemaLocation='http://datacite.org/schema/kernel-3 http://schema.datacite.org/meta/kernel-3/metadata.xsd'>
<creators>
<creator>
<creatorName>Negru, I.N.</creatorName>
<affiliation>Universitatea Tehnică a Moldovei, Moldova, Republica</affiliation>
</creator>
</creators>
<titles>
<title xml:lang='ro'>Despre unele latice generate de logici implicaţionale</title>
</titles>
<publisher>Instrumentul Bibliometric National</publisher>
<publicationYear>2014</publicationYear>
<relatedIdentifier relatedIdentifierType='ISBN' relationType='IsPartOf'>978-9975-45-249-6</relatedIdentifier>
<subjects>
<subject>latice</subject>
<subject>logică implicaţională</subject>
<subject>regula de deducere Modus Ponens</subject>
</subjects>
<dates>
<date dateType='Issued'>2014</date>
</dates>
<resourceType resourceTypeGeneral='Text'>Conference Paper</resourceType>
<descriptions>
<description xml:lang='ro' descriptionType='Abstract'><p>&Icirc;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ă.</p></description>
</descriptions>
<formats>
<format>application/pdf</format>
</formats>
</resource>