Popis
Deduction Systems
1 Úvod. - 2 Matematické prípravy. - 2. 1 Množiny a vzťahy. - 2. 2 Funkcie a spočítateľnosť. - 2. 3 Posety a Zornova lemma. - 2. 4 stromy. - 2. 5 Matematická indukcia. - 3 Syntax jazykov prvého rádu. - 3. 1 Jazyky prvého rádu. - 3. 2 Indukcia nad členmi a vzorcami. - 3. 3 voľné a viazané premenné. - 3. 4 Striedania. - 4 Sémantika jazykov prvého rádu. - 4. 1 Štruktúry a interpretácie. - 4. 2 Substitučná lema. - 5 Gentzenov kalkul G. - 5. 1 Počet G. - 5. 2 Úplnosť G. - 6 normálnych foriem a Herbrandova veta. - 6. 1 Normálne formy. - 6. 2 Gentzenov nabrúsený Hauptsatz. - 6. 3 Skolemizácia a Herbrandova veta. - 7 Rozlíšenie a zjednotenie. - 7. 1 Pozemné rozlíšenie. - 7. 2 Zjednotenie. - 7. 3 Zlepšenie algoritmov zjednocovania. - 7. 4 Rozlíšenie a zasunutie. - 7. 5 stratégií spravodlivého odvodzovania. - 8 Zlepšenie efektivity odpočtu. - 8. 1 Oddialenie zjednotenia. - 8. 2 Rozlíšenie jednotky. - 8. 3 Rozlíšenie vstupu. - 8. 4 Lineárne rozlíšenie. - 8. 5 Hyperrozlíšenie. - 8. 6 Sémantické rozlíšenie a stratégia súboru podpory. - 8. 7 Koncepty výberu a objednávania. - 8. 8 Pojem nadbytočnosti. - 9 Rozlíšenie v triedenej logike. - 9. 1 Úvod. - 9. 2 Syntax a sémantika elementárnej triedenej logiky. - 9. 3 Relativizácia. - 9. 4 Zoradená logika s deklaráciami termínov. - 9. 5 Zjednotenie a rozlíšenie v triedených podpisoch. - 9. 6 Zložitosť triedeného zjednotenia. -Referencie. Jazyk: angličtina
-
Značka:
Unbranded
-
Kategória:
Počítače a internet
-
Počet strán:
206
-
Formátovať:
Brožovaná väzba
-
Jazyk:
Angličtina
-
Dátum vydania:
2011/09/18
-
Umelec:
Rolf Socher-Ambrosius
-
Vydavateľ / štítok:
Springer
-
Fruugo ID:
337915690-741575132
-
ISBN:
9781461274797
Dodanie a vrátenie
Odoslané do 4 dní
Doručenie od Spojené kráľovstvo.
Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia