Kurz knihy logického programovania zdarma s

Nie sú žiadne komentáre

Buďte prvý, kto komentuje „Kurz logického programovania“.

Meta tlmočník

    Nákup na účet Bezplatné vrátenie Dostupné vo vašej pobočke Platba na splátky možná

Springerova aplikovaná informatika: Kurz logického programovania

Norbert E. Fuchs

Namiesto 54,99 € 19

JavaScript pre vývojárov Java

Základy programovania v systéme iOS 14 so softvérom Swift

Becker, O: Sériové transformácie XML

Python testovanie s pytest

Základy vývoja PyGTK

W. David Ashley, Andrew Krause

Najlepšie postupy pre Python

Manfred Steyer, Daniel Schwab

Learning Angular 2

Brad Dayley, Brendan Dayley, Caleb Dayley

Eve Porcello, Alex Banks

Napíšte skvelý kód

Programovacie jazyky databázy

Praktický Docker s Pythonom

Programovanie hier a grafiky pre iOS a Android s OpenGL ES 2.0

Programovacie jazyky: Implementácie, Logika a Programy

Pokročilé funkčné programovanie

Počiatočná jarná topánka 2

K. Siva Prasad Reddy

Java sa chce iba hrať

Syntéza a transformácia logického programu

1 Čo je to logické programovanie?
1.1 Logika ako programovací jazyk
1.2 Logické programovanie a prolog
1.3 Procedurálne a deklaratívne programovanie
- prolog

2 Čistý prológ
2.1 Rodinné vzťahy ako databáza Prolog
2.2 Subjunktívne otázky a pravidlá
2.3 Proces evidencie Prologu
2.4 vyhľadávacie stromy
2.5 sledovanie
2.6 Rekurzívne pravidlá
2.7 Rekurzia vľavo
2.8 Syntax prológov
2.9 zoznamy
2.9.1 Zoznamový zápis
2.9.2 Operácie so zoznamami
2,10 operátorov

3 Celý prológ
3,1 aritmetický
3.2 Extra logické predikáty
3.2.1 Vstup a výstup
3.2.2 Načítanie programov Prolog
3.2.3 Prístup k programom Prolog
3.3 Štrukturálne štúdie
3.3.1 Určenie typu
3.3.2 Analýza a syntéza pojmov
3.4 Metalogické predikáty
3.4.1 Skúška na vytvorenie inštancie
3.4.2 Unifiabilita
3.4.3 Totožnosť pojmov
3.4.4 Metavariable, volanie systému predikátu/1
3,5 rezu
3.5.1 Prerezávanie vyhľadávacích stromov
3.5.2 Zelené a červené rezy
3.5.3 Kontrolné štruktúry Prologu
3,6 negácia
3.6.1 Predpoklad uzavretého sveta
3.6.2 Negácia ako porucha
3.6.3 Premenné v negovaných cieľoch
3.6.4 Aplikácie negácie ako zlyhania
3.6.5 Negácia ako porucha a logická negácia
3.7 Nastaviť predikáty
3.7.1 Všetky riešenia cieľa
3.7.2 Aplikácie množinových predikátov

4 Techniky programovania Prolog
4,1 slučiek
4.1.1 Slučky riadené poruchami
4.1.2 Slučky prostredníctvom implicitného spätného sledovania
4.1.3 Generovanie a testovanie
4.1.4 Smyčky cez rekurziu
4.1.5 Počítanie slučiek
4.2 Akumulátory
4.2.1 Iteratívne algoritmy
4.2.2 Koniec rekurzívnych predikátov
4.3 Rozdielové zoznamy
4.3.1 Zoznamy ako rozdiely medzi dvoma zoznamami
4.3.2 Vloženie na koniec zoznamu
4.3.3 Prepojenie zoznamov rozdielov
4.3.4 Aplikácia rozdielových zoznamov
- Logické základy

5 Logika reprezentácie znalostí
5.1 Konceptualizácie
5.1.1 Ruské bábiky
5.1.2 Aká koncepcia?
5.2 Predikátová logika
5.2.1 Reprezentácia znalostí predikátovou logikou
5.2.2 Syntax predikátovej logiky
5.3

Deklaratívna sémantika
5.3.1 Výklady
5.3.2 Relatívna pravda
5.3.3 Modely
5.3.4 Realizovateľnosť a platnosť
5.3.5 Sokrates ako smrteľná osoba
5.3.6 Logický dôsledok
5.3.7 Vyvrátenie
5.3.8 Herbrandove interpretácie

6 Logická inferencia
6.1 Dôkazy
6.2 Správnosť a úplnosť
6.3 Forma klauzule predikátovej logiky
6.3.1 Konverzia vo formulári doložky
6.3.2 Doložky ako dôsledky
6.4 Rozlíšenie
6.4.1 Uznesenie ako dôkazná metóda
6.4.2 Príklady riešení
6.5 Zjednotenie
6.6 Uznesenie a vyvrátenie
6.7 Správnosť a úplnosť uznesenia
6.8 Stratégie riešenia krízových situácií
6.9 Hornove doložky
6,10 SLD rozlíšenie
6.11 Sémantika programov Prolog
6.11.1 Deklaratívna a procedurálna sémantika
6.11.2 Deklaratívne riešenie problémov
- Aplikácie

7 Postup hľadania
7.1 Stavové priestory
7.2 Vyhľadávanie pomocou stratégie vyhľadávania Prologu
7.3 Explicitné hĺbkové hľadanie
7,4 hľadanie na šírku
7.5 Vyhľadávanie do hĺbky v cyklických grafoch
7.6 Vyhľadávanie v šírke v cyklických grafoch
7.7 Obmedzené vyhľadávanie podľa hĺbky
7.8 Príklady

8 Logické gramatiky
8.1 Bezkontextové jazyky
8.2 Axiomatizácia bezkontextovej gramatiky
8.3 Reprezentácia výrazov pomocou zoznamov
8.4 Ďalšie argumenty: číslo
8.5 Gramatiky definitívnych klauzúl (DCG)
8.6 Pravidlá gramatiky
8.7 Stromy odvodenia
8.8 Ciele Prologu v gramatických pravidlách
8.9 Systémová predikčná fráza/[2, 3]
8.10 Príklady

9 tlmočníkov meta
9.1 Tlmočník pre jazyky špecifické pre daný problém
9.1.1 Konečný automat
9.1.2 Čiastočné vyhodnotenie konečného automatu
9.1.3 Porovnanie konečných automatov s DCG
9.2 Najjednoduchší meta tlmočník pre Prolog
9.3 Simulácia procesnej stratégie Prologu
9.4 Interpretácia systémových predikátov
9.4.1 Zachytenie systémových predikátov
9.4.2 Explicitný dôkaz systémových predikátov
9.4.3 Metaininterpreter pre Cut
9.5 Generovanie ďalších informácií
9.5.1 Počítanie odvodených krokov
9.5.2 Explicitný strom dôkazov
9.5.3 Jednoduchý čiastočný hodnotiteľ
9.6 Ostatné stratégie riešenia krízových situácií
9.6.1 Meta tlmočník s obmedzením hĺbky
9.6.2 Meta tlmočník, ktorý odkladá ciele
9.7 Meta tlmočník pre expertné systémy
9.7.1 Meta tlmočník, ktorý kladie otázky
9.7.2 Prečo vyhlásenia
9.7.3 Ako vysvetlenia
9.7.4 Dopredné reťazenie
- Zoznam anotovanej literatúry