Curs de programare logică Rezervați gratuit cu

Nu există comentarii

Fii primul care comentează „Curs de programare logică”.

programare

    Achiziție în cont Returnare gratuită Disponibil la sucursala dvs. Plata în rate posibil

Springer's Applied Computer Science: Curs în programare logică

Norbert E. Fuchs

În loc de 54,99 € 19

JavaScript pentru dezvoltatorii Java

Fundamentele de programare iOS 14 cu Swift

Becker, O: Transformări seriale ale XML

Testarea Python cu pytest

Bazele dezvoltării PyGTK

W. David Ashley, Andrew Krause

Cele mai bune practici Pro Python

Manfred Steyer, Daniel Schwab

Învățarea unghiulară 2

Brad Dayley, Brendan Dayley, Caleb Dayley

Eve Porcello, Alex Banks

Scrieți un cod excelent

Limbaje de programare a bazelor de date

Docker practic cu Python

Programare de jocuri și grafică pentru iOS și Android cu OpenGL ES 2.0

Limbaje de programare: implementări, logici și programe

Programare funcțională avansată

Începând cu Boot de primăvară 2

K. Siva Prasad Reddy

Java vrea doar să joace

Sinteza și transformarea programelor logice

1 Ce este programarea logică?
1.1 Logica ca limbaj de programare
1.2 Programare logică și prolog
1.3 Programare procedurală și declarativă
- prolog

2 Prolog pur
2.1 Relațiile de familie ca bază de date Prolog
2.2 Întrebări și reguli de conjunctiv
2.3 Procesul de evidență al Prolog
2.4 căutarea copacilor
2.5 urmărirea
2.6 Reguli recursive
2.7 Recursivitate la stânga
2.8 Sintaxa Prologs
2.9 liste
2.9.1 Notare listă
2.9.2 Operațiuni cu liste
2.10 operatori

3 Prolog complet
3.1 aritmetica
3.2 Predicate logice suplimentare
3.2.1 Intrare și ieșire
3.2.2 Încărcarea programelor Prolog
3.2.3 Acces la programele Prolog
3.3 Studii structurale
3.3.1 Determinarea tipului
3.3.2 Analiza și sinteza termenilor
3.4 Predicate metalogice
3.4.1 Test pentru instanțiere
3.4.2 Unifiabilitate
3.4.3 Identitatea termenilor
3.4.4 Metavariabile, apel predicat de sistem/1
3.5 tăiat
3.5.1 Tunderea copacilor de căutare
3.5.2 Tăieturi verzi și roșii
3.5.3 Structuri de control Prolog
3.6 negare
3.6.1 Ipoteză mondială închisă
3.6.2 Negarea ca eșec
3.6.3 Variabile în scopuri negate
3.6.4 Aplicații de negare ca eșec
3.6.5 Negarea ca eșec și negare logică
3.7 Setați predicate
3.7.1 Toate soluțiile pentru un obiectiv
3.7.2 Aplicații ale predicatelor setate

4 Tehnici de programare Prolog
4.1 bucle
4.1.1 Bucle conduse la eșec
4.1.2 Bucle prin backtracking implicit
4.1.3 Generați și testați
4.1.4 Bucle prin recursivitate
4.1.5 Numărarea buclelor
4.2 Acumulatoare
4.2.1 Algoritmi iterativi
4.2.2 Sfârșitul predicatelor recursive
4.3 Liste de diferențe
4.3.1 Listele ca diferențe între două liste
4.3.2 Inserarea la sfârșitul unei liste
4.3.3 Legarea listelor de diferențe
4.3.4 Aplicații ale listelor de diferențe
- Fundamente logice

5 Logică pentru reprezentarea cunoștințelor
5.1 Conceptualizări
5.1.1 Păpuși rusești
5.1.2 Ce conceptualizare?
5.2 Logica predicatului
5.2.1 Reprezentarea cunoștințelor prin logica predicatului
5.2.2 Sintaxa logicii predicate
5.3

Semantica declarativa
5.3.1 Interpretări
5.3.2 Adevărul relativ
5.3.3 Modele
5.3.4 Fezabilitate și validitate
5.3.5 Socrate ca persoană muritoare
5.3.6 Consecință logică
5.3.7 Refutare
5.3.8 Interpretări Herbrand

6 Inferință logică
6.1 Dovezi
6.2 Corectitudinea și completitudinea
6.3 Forma clauzei logicii predicate
6.3.1 Conversia sub formă de clauză
6.3.2 Clauzele ca implicații
6.4 Rezoluție
6.4.1 Rezoluția ca metodă de probă
6.4.2 Exemple de rezoluție
6.5 Unificare
6.6 Rezoluție și respingere
6.7 Corectitudinea și completitudinea rezoluției
6.8 Strategii de rezolvare
6.9 Clauze claxon
6.10 rezoluție SLD
6.11 Semantica programelor Prolog
6.11.1 Semantică declarativă și procedurală
6.11.2 Depanare declarativă
- Aplicații

7 Procedură de căutare
7.1 Spații de stare
7.2 Căutarea cu strategia de căutare Prolog
7.3 Căutare explicită a adâncimii
7.4 lărgime-prima căutare
7.5 Căutare în adâncime în grafice ciclice
7.6 Căutarea în lățime în grafice ciclice
7.7 Căutare limitată la prima adâncime
7.8 Exemple

8 Gramatici logice
8.1 Limbi fără context
8.2 Axiomatizarea gramaticii fără context
8.3 Reprezentarea expresiilor folosind liste
8.4 Alte argumente: număr
8.5 Gramatici cu clauze definite (DCG)
8.6 Reguli gramaticale
8.7 Arbori de derivare
8.8 Obiective Prolog în regulile gramaticale
8.9 Frază predicat de sistem/[2, 3]
8.10 Exemple

9 meta interpret
9.1 Interpret pentru limbaje specifice problemei
9.1.1 Automat finit
9.1.2 Evaluarea parțială a automatului finit
9.1.3 Compararea automatelor finite cu DCG
9.2 Cel mai simplu meta interpret pentru Prolog
9.3 Simularea strategiei procesului Prolog
9.4 Interpretarea predicatelor sistemului
9.4.1 Interceptarea predicatelor sistemului
9.4.2 Dovada explicită a predicatelor sistemului
9.4.3 Metaininterpreter for Cut
9.5 Generarea de informații suplimentare
9.5.1 Numărarea pașilor de inferență
9.5.2 Arborele explicit al dovezilor
9.5.3 Un simplu evaluator parțial
9.6 Alte strategii de rezoluție
9.6.1 Meta interpret cu limitarea adâncimii
9.6.2 Un meta interpret care amână obiectivele
9.7 Meta interpretor pentru sisteme expert
9.7.1 Un meta interpret care pune întrebări
9.7.2 De ce declarații
9.7.3 Cum se declară
9.7.4 Înlănțuirea către înainte
- Lista literaturii adnotate