8416072609

8416072609



SPIS TREŚCI

11    Efektywny Prolog    99

11.1    Czy tylko deklaratywność?...........................99

11.2    Zmniejszać przestrzeń rozważań........................100

11.3    Niech pracują za nas inni ...........................101

11.4    Pracuj na głowie..................................103

11.5    ... albo odcinaj to co zbędne .........................103

12    Rachunek zdań    105

12.1    Postać normalna................................109

12.1.1    Przekształcanie do postaci normalnej.................110

12.2    Formuła Horna.................................112

12.3    twierdzenie tutu ................................112

12.4    Rezolucja....................................112

12.5    Pytania i odpowiedzi..............................114

13    Ćwiczenia    115

13.1    ćwiczenie 1...................................116

13.1.1    Zadanie.................................116

13.1.2    Zadanie.................................116

13.1.3    Zadanie.................................116

13.1.4    Zadanie.................................116

13.1.5    Zadanie.................................116

13.2    Ćwiczenie 2...................................117

13.2.1    Zadanie.................................117

13.2.2    Zadanie.................................118

13.2.3    Zadanie.................................118

13.2.4    Zadanie.................................118

13.2.5    Zadanie.................................118

13.2.6    Zadanie.................................118

13.2.7    Zadanie.................................118

13.3    Ćwiczenie 3...................................119

13.3.1    Zadanie.................................119

13.3.2    Zadanie.................................119

13.3.3    Zadanie.................................119

13.3.4    Zadanie.................................119

13.3.5    Zadanie.................................119

13.3.6    Zadanie.................................119

13.3.7    Zadanie.................................119

13.3.8    Zadanie.................................119

13.3.9    Zadanie.................................120

13.3.10    Zadanie.................................120

13.3.11    Zadanie.................................120

13.4    Ćwiczenie 4...................................121

13.4.1    Zadanie.................................121

13.4.2    Zadanie.................................121

13.4.3    Zadanie.................................121

13.4.4    Zadanie.................................121

13.4.5    Zadanie.................................121

Programowanie w logice. Prolog ©2007-2009 by P. Fulmański (ostatnia modyfikacja: 18 maja 2009)



Wyszukiwarka

Podobne podstrony:
Spis treści 11 Przedmowa Wstęp ........ Podziękowania 17 23 Prolog 27 Pionier z ideą, na
Spis treści 7 11.2.1.1.    Pomiar rezystancji statycznej uziemienia metodą kompensacy
SPIS TREŚCI1 1.11. Pielęgniarstwo budowane na taktach................. 54 Zadania sprawdzające
8 Spis treści 11.6.    Społeczny dyskurs czasu wolnego - funkcje czasu
Spis treści 11 Rozdział 24. Edukacja jako pomoc w rozwoju w ujęciu andragogiki i gerontologii (Olga
Spis treści 11 Rozdział 9 Kierunki projektowanych zmian prawa cywilnego Rozdziano Wybór
10_Spis treści 11.8.1.    Techniki oczyszczania oskrzeli..........182 11.8.2.
Spis treści 11.    SZKOLENIE PRACOWNIKÓW W ZAKRESIE BEZPIECZEŃSTWA I HIGIENY
Spis treści 11 17.5.    Klasyczna i postmediolańska systemowa terapia rodzin.........
Spis treści 11 11 Nowe obszary ryzyka w globalnej gospodarce    312 1.
Spis treści 11.2.1.    Subpopulacje limfocytów T pomocniczych 173 11.2.2.
SPIS TREŚCI 5 11. Warunki techniczne odbioru robót murarskich Klffl Odbiór robót
Spis treści 11.3. Outsourcing i outplacement - narzędzia w sferze zatrudnienia i odejść

więcej podobnych podstron