Logikai programozási tanfolyam ingyenesen a következővel:
Nincsenek hozzászólások
Legyen Ön az első, aki hozzászólást küld a "Logikai programozási tanfolyam" témához.
-
Számlán történő vásárlás Ingyenes visszatérítés Fiókjában elérhető Fizetés részletekben lehetséges
Springer alkalmazott számítástechnika: Logikai programozás tanfolyam
Norbert E. Fuchs
54,99 € helyett 19
JavaScript Java fejlesztőknek
iOS 14 programozási alapok a Swift segítségével
Becker, O: Az XML soros transzformációi
Python tesztelés pytesttel
A PyGTK fejlesztés alapjai
W. David Ashley, Andrew Krause
Pro Python legjobb gyakorlatok
Manfred Steyer, Daniel Schwab
2. szögletes tanulás
Brad Dayley, Brendan Dayley, Caleb Dayley
Eve Porcello, Alex Banks
Írj remek kódot
Adatbázis programozási nyelvek
Praktikus Docker Python-nal
Játék- és grafikus programozás iOS és Android rendszerekhez OpenGL ES 2.0-val
Programozási nyelvek: Megvalósítások, logika és programok
Fejlett funkcionális programozás
A tavaszi csizma kezdete 2
K. Siva Prasad Reddy
Java csak játszani akar
Logikai program szintézise és átalakítása
1 Mi a logikai programozás?
1.1 A logika mint programozási nyelv
1.2 Logikai programozás és prolog
1.3 Eljárási és deklaratív programozás
- bevezető
2 Tiszta prológus
2.1. Családi kapcsolatok mint Prolog adatbázis
2.2 Szubjunktív kérdések és szabályok
2.3 A Prolog bizonyítási folyamata
2,4 keresési fák
2,5 nyomkövetés
2.6 Rekurzív szabályok
2.7 Bal rekurzió
2.8 Prologs szintaxis
2.9 felsorolás
2.9.1 Lista jelölése
2.9.2 Műveletek listákkal
2,10 operátor
3 Teljes prológ
3,1 számtan
3.2 Extra logikai predikátumok
3.2.1 Bemenet és kimenet
3.2.2 Prolog programok betöltése
3.2.3 Hozzáférés a Prolog programokhoz
3.3 Strukturális tanulmányok
3.3.1 Típus meghatározása
3.3.2 A kifejezések elemzése és szintézise
3.4 Metalogikai predikátumok
3.4.1 Teszt a példányosításhoz
3.4.2 Egyesíthatóság
3.4.3 A kifejezések azonosítása
3.4.4 Metaváltozók, a rendszer predikált hívása/1
3,5 vágás
3.5.1 Kereső fák metszése
3.5.2 Zöld és piros vágások
3.5.3 Prolog vezérlő struktúrák
3,6 tagadás
3.6.1 Zárt világ feltételezése
3.6.2 Negáció kudarcként
3.6.3 Változók negált célokban
3.6.4 A negáció, mint kudarc alkalmazásai
3.6.5 Negáció kudarcként és logikai negáció
3.7 Állítson predikátumokat
3.7.1 A cél minden megoldása
3.7.2 A halmaz predikátumainak alkalmazásai
4 Prolog programozási technikák
4.1 hurkok
4.1.1 Hiba által vezérelt hurkok
4.1.2 Hurok implicit visszalépés révén
4.1.3 Generálás és tesztelés
4.1.4 Hurok rekurzió útján
4.1.5 Számláló hurkok
4.2 Akkumulátorok
4.2.1 Iteratív algoritmusok
4.2.2 Rekurzív predikátumok befejezése
4.3 Különbséglisták
4.3.1 A listák két lista közötti különbségként
4.3.2 Beszúrás a lista végére
4.3.3 A különbséglisták összekapcsolása
4.3.4 A különbséglisták alkalmazása
- Logikai alapok
5 A tudásábrázolás logikája
5.1 Fogalommeghatározások
5.1.1 Orosz babák
5.1.2 Milyen konceptualizáció?
5.2 Predikált logika
5.2.1 Tudás reprezentáció predikátum logikával
5.2.2 A predikátum logika szintaxisa
5.3
Deklaratív szemantika
5.3.1 Értelmezések
5.3.2 Relatív igazság
5.3.3 Modellek
5.3.4 Megvalósíthatóság és érvényesség
5.3.5 Szókratész mint halandó ember
5.3.6 Logikai következmény
5.3.7 Cáfolat
5.3.8 Herbrand-értelmezések
6 Logikai következtetés
6.1 Bizonyíték
6.2 Helyesség és teljesség
6.3 Az állítmánylogika záradékformája
6.3.1 Konvertálás záradék formájában
6.3.2 A záradékok mint következmények
6.4 Felbontás
6.4.1 A felbontás mint bizonyítási módszer
6.4.2 Megoldási példák
6.5 Egyesítés
6.6 Felbontás és cáfolat
6.7 A felbontás helyessége és teljessége
6.8 Szanálási stratégiák
6.9 Kürt záradékok
6.10 SLD felbontás
6.11 A Prolog programok szemantikája
6.11.1 Nyilatkozati és eljárási szemantika
6.11.2 Nyilatkozatos hibaelhárítás
- Alkalmazások
7 Keresési eljárás
7.1 Államterek
7.2 Keresés a Prolog keresési stratégiájával
7.3 Kifejezett mélység-első keresés
7,4 szélesség-első keresés
7.5 Mélység-első keresés ciklikus grafikonokban
7.6 Szélesség-első keresés ciklikus grafikonokban
7.7 Korlátozott mélységű keresés
7.8 Példák
8 logikai nyelvtan
8.1 Kontextusmentes nyelvek
8.2 A kontextusmentes nyelvtan axiomatizálása
8.3 A kifejezések ábrázolása listák segítségével
8.4 További érvek: szám
8.5 Határozott záradékú nyelvtanok (DCG)
8.6 Nyelvtani szabályok
8.7 Származási fák
8.8 Prolog-célok a nyelvtani szabályokban
8.9 Rendszeres állítmány kifejezés/[2, 3]
8.10 Példák
9 meta tolmács
9.1 Tolmács a problémára jellemző nyelvekhez
9.1.1 Véges automata
9.1.2 A véges automata részleges értékelése
9.1.3 A véges automaták összehasonlítása a DCG-vel
9.2 A Prolog legegyszerűbb metaértelmezője
9.3 A Prolog folyamatstratégiájának szimulációja
9.4 A rendszer predikátumainak értelmezése
9.4.1 A rendszer predikátumainak lehallgatása
9.4.2 A rendszeres állítmányok kifejezett bizonyítása
9.4.3 Metaininterinter for Cut
9.5 További információk előállítása
9.5.1 A következtetési lépések számlálása
9.5.2 Kifejezett bizonyítékfa
9.5.3 Egyszerű részértékelő
9.6 Egyéb szanálási stratégiák
9.6.1 Metaértelmező mélységkorlátozással
9.6.2 Metaértelmező, amely elhalasztja a célokat
9.7 Meta tolmács szakértői rendszerek számára
9.7.1 Meta tolmács, amely kérdéseket tesz fel
9.7.2 Miért állítások
9.7.3 Hogyan állítások
9.7.4 Előre láncolás
- Jegyzetelt irodalmi lista