Logică matematică
| Autor | CAZACU, CONSTANTIN chat |
| Editura | Editura „Ștefan Lupașcu” chat |
| Loc publicare | Iași |
| An | 1999 |
| Subiect | Logică matematică chat |
| Analiză matematică chat | |
| ISBN | 9739904408 |
| Note | Index |
| Bibliogr. p. 303-314 |
| Titlu | |
| Titlu | Logică matematică |
| [nedefinit] | 1 |
| Titlu / Menţiuni de responsabilitate | |
| Titlu | Logică matematică |
| Prima menţ. de resp. | Constantin Cazacu, Valeria Slabu |
| Urm. menţ. de responsabilitate | [referenți: prof. dr. Petru Ioan, conf. dr. Ferucio Laurențiu Țiplea] |
| Desemnarea gen. a materialului | Carte tipărită |
| Nume de persoană / resp. intelectuală primară | |
| Autor principal | CAZACU, CONSTANTIN |
| Nume de persoană / resp. intelectuală alternativă | |
| Autor alternativ | Slabu, Valeria |
| Nume de persoană / resp. intelectuală secundară | |
| Autor secundar | Ioan, Petru |
| Cod de legătură | referent științific |
| Autor secundar | Țiplea, Ferucio Laurențiu |
| Cod de legătură | referent științific |
| ISBN | |
| Număr ISBN | 9739904408 |
| Alt sistem de control al numerelor | |
| Cotă | 51/C32 |
| C.II.43411 | |
| Număr (indice) CZU | |
| Număr (indice) CZU | 517(021) |
| 16:51(021) | |
| 510.6 | |
| Alte clasificări | |
| Alte clasificări - Numărul clasei | 51 |
| Vedetă de subiect ca subiect | |
| Subiect | Logică matematică |
| Analiză matematică | |
| Limba resursei | |
| Limba textului | rum |
| Ţara de publicare sau producţie | |
| Ţara de publicare | Romania |
| Publicare, distribuţie | |
| Loc publicare | Iași |
| Editura | Editura „Ștefan Lupașcu” |
| Data publicării | 1999 |
| Descriere fizică | |
| Desemnarea specifica a mat. | 320 p., [VIII] p. |
| Alte detalii fizice | tab. |
| Notă generală | |
| Textul notei | Index |
| Bibliogr. p. 303-314 | |
| Serii | |
| Titlul seriei | Universitaria |
| Notă de rezumat/abstract | |
| Abstract/Sumar | Cuprins Prefaţă Introducere 1Funcţii booleene7 1.1 Dualitate 8 1.2Forme normale disjunctive şi conjunctive 12 1.3Mulţimi închise de funcţii booleene 20 1.4Mulţimi complete de funcţii booleene 25 1.5Exerciţii şi probleme33 2Formule şi interpretări39 2.1Termeni, formule şi substituţii41 2.2 Interpretări5 2.3Forme normale prenex şi clauzale61 2.4Interpretări Herbrand 75 2.5Exerciţii şi probleme80 3Sisteme deductive87 3.1Consecinţe semantice şi consecinţe sintactice 89 3.2Alte proprietăţi ale relaţiei 1- A104 .. 3Sisteme deductive de tip Gentzen122 3 4Eliminarea tăieturilor 128 3 5Sisteme deductive de tip Hilbert 139 ; 6Sisteme deductive intuiţioniste 153 7Exerciţii şi probleme162 VI CUPRINS Teorii formale de ordinul I167 4.1Obiecte recursive şi recursiv enumerabile170 4.2Teorii formale şi modele186 4.3Teorii decidabile şi teoriinedecidabile 207 4.4Necompletitudine238 4.5Exerciţii şi probleme246 Deducţii automate249 5.1Metoda rezoluţiei250 5.2Strategii şi variante ale metodeirezoluţiei266 5.3Numere ordinale şi latici277 5.4Programare logică283 5.5Exerciţii şi probleme300 Bibliografie303 Index315 |
51/C32; C.II.43411
CAZACU, CONSTANTIN
Logică matematică / Constantin Cazacu, Valeria Slabu ; [referenți: prof. dr. Petru Ioan, conf. dr. Ferucio Laurențiu Țiplea].- Iași : Editura „Ștefan Lupașcu” , 1999.
320 p., [VIII] p. : tab..- (Universitaria).
Index
Bibliogr. p. 303-314
Cuprins Prefaţă Introducere 1Funcţii booleene7 1.1 Dualitate 8 1.2Forme normale disjunctive şi conjunctive 12 1.3Mulţimi închise de funcţii booleene 20 1.4Mulţimi complete de funcţii booleene 25 1.5Exerciţii şi probleme33 2Formule şi interpretări39 2.1Termeni, formule şi substituţii41 2.2 Interpretări5 2.3Forme normale prenex şi clauzale61 2.4Interpretări Herbrand 75 2.5Exerciţii şi probleme80 3Sisteme deductive87 3.1Consecinţe semantice şi consecinţe sintactice 89 3.2Alte proprietăţi ale relaţiei 1- A104 .. 3Sisteme deductive de tip Gentzen122 3 4Eliminarea tăieturilor 128 3 5Sisteme deductive de tip Hilbert 139 ; 6Sisteme deductive intuiţioniste 153 7Exerciţii şi probleme162 VI CUPRINS Teorii formale de ordinul I167 4.1Obiecte recursive şi recursiv enumerabile170 4.2Teorii formale şi modele186 4.3Teorii decidabile şi teoriinedecidabile 207 4.4Necompletitudine238 4.5Exerciţii şi probleme246 Deducţii automate249 5.1Metoda rezoluţiei250 5.2Strategii şi variante ale metodeirezoluţiei266 5.3Numere ordinale şi latici277 5.4Programare logică283 5.5Exerciţii şi probleme300 Bibliografie303 Index315.
ISBN 9739904408
I Slabu, Valeria
II Ioan, Petru(referent științific)
III Țiplea, Ferucio Laurențiu(referent științific)
1. Logică matematică
2. Analiză matematică
517(021)
16:51(021)
510.6
299
__
$aLogică matematică
955 __ $a1
200 __ $aLogică matematică $fConstantin Cazacu, Valeria Slabu $g[referenți: prof. dr. Petru Ioan, conf. dr. Ferucio Laurențiu Țiplea] $bCarte tipărită
700 __ $aCAZACU, CONSTANTIN
701 __ $aSlabu, Valeria
702 __ $aIoan, Petru $4referent științific
702 __ $aȚiplea, Ferucio Laurențiu $4referent științific
010 __ $a9739904408
035 __ $a51/C32
035 __ $aC.II.43411
675 __ $a517(021)
675 __ $a16:51(021)
675 __ $a510.6
686 __ $a51
606 __ $aLogică matematică
606 __ $aAnaliză matematică
101 __ $arum
102 __ $aRomania
210 __ $aIași $cEditura „Ștefan Lupașcu” $d1999
215 __ $a320 p., [VIII] p. $ctab.
300 __ $aIndex
300 __ $aBibliogr. p. 303-314
225 __ $aUniversitaria
330 __ $aCuprins Prefaţă Introducere 1Funcţii booleene7 1.1 Dualitate 8 1.2Forme normale disjunctive şi conjunctive 12 1.3Mulţimi închise de funcţii booleene 20 1.4Mulţimi complete de funcţii booleene 25 1.5Exerciţii şi probleme33 2Formule şi interpretări39 2.1Termeni, formule şi substituţii41 2.2 Interpretări5 2.3Forme normale prenex şi clauzale61 2.4Interpretări Herbrand 75 2.5Exerciţii şi probleme80 3Sisteme deductive87 3.1Consecinţe semantice şi consecinţe sintactice 89 3.2Alte proprietăţi ale relaţiei 1- A104 .. 3Sisteme deductive de tip Gentzen122 3 4Eliminarea tăieturilor 128 3 5Sisteme deductive de tip Hilbert 139 ; 6Sisteme deductive intuiţioniste 153 7Exerciţii şi probleme162 VI CUPRINS Teorii formale de ordinul I167 4.1Obiecte recursive şi recursiv enumerabile170 4.2Teorii formale şi modele186 4.3Teorii decidabile şi teoriinedecidabile 207 4.4Necompletitudine238 4.5Exerciţii şi probleme246 Deducţii automate249 5.1Metoda rezoluţiei250 5.2Strategii şi variante ale metodeirezoluţiei266 5.3Numere ordinale şi latici277 5.4Programare logică283 5.5Exerciţii şi probleme300 Bibliografie303 Index315
955 __ $a1
200 __ $aLogică matematică $fConstantin Cazacu, Valeria Slabu $g[referenți: prof. dr. Petru Ioan, conf. dr. Ferucio Laurențiu Țiplea] $bCarte tipărită
700 __ $aCAZACU, CONSTANTIN
701 __ $aSlabu, Valeria
702 __ $aIoan, Petru $4referent științific
702 __ $aȚiplea, Ferucio Laurențiu $4referent științific
010 __ $a9739904408
035 __ $a51/C32
035 __ $aC.II.43411
675 __ $a517(021)
675 __ $a16:51(021)
675 __ $a510.6
686 __ $a51
606 __ $aLogică matematică
606 __ $aAnaliză matematică
101 __ $arum
102 __ $aRomania
210 __ $aIași $cEditura „Ștefan Lupașcu” $d1999
215 __ $a320 p., [VIII] p. $ctab.
300 __ $aIndex
300 __ $aBibliogr. p. 303-314
225 __ $aUniversitaria
330 __ $aCuprins Prefaţă Introducere 1Funcţii booleene7 1.1 Dualitate 8 1.2Forme normale disjunctive şi conjunctive 12 1.3Mulţimi închise de funcţii booleene 20 1.4Mulţimi complete de funcţii booleene 25 1.5Exerciţii şi probleme33 2Formule şi interpretări39 2.1Termeni, formule şi substituţii41 2.2 Interpretări5 2.3Forme normale prenex şi clauzale61 2.4Interpretări Herbrand 75 2.5Exerciţii şi probleme80 3Sisteme deductive87 3.1Consecinţe semantice şi consecinţe sintactice 89 3.2Alte proprietăţi ale relaţiei 1- A104 .. 3Sisteme deductive de tip Gentzen122 3 4Eliminarea tăieturilor 128 3 5Sisteme deductive de tip Hilbert 139 ; 6Sisteme deductive intuiţioniste 153 7Exerciţii şi probleme162 VI CUPRINS Teorii formale de ordinul I167 4.1Obiecte recursive şi recursiv enumerabile170 4.2Teorii formale şi modele186 4.3Teorii decidabile şi teoriinedecidabile 207 4.4Necompletitudine238 4.5Exerciţii şi probleme246 Deducţii automate249 5.1Metoda rezoluţiei250 5.2Strategii şi variante ale metodeirezoluţiei266 5.3Numere ordinale şi latici277 5.4Programare logică283 5.5Exerciţii şi probleme300 Bibliografie303 Index315
| Barcode/Nr. Inventar | Număr/Ediție | Localizare | Regim resursa | Disponibil | Cota | |
|---|---|---|---|---|---|---|
| 1. | 594342 / 594342 | L | Împrumut la sala de lectură | Da | 51 |
| Gestiune | Regim imprumut | Ex. | Acțiune |
|---|---|---|---|
| L | Împrumut la sala de lectură | 1 |
|
