Robert Kowalski LOGIKA W ROZWIĄZYWANIU ZADAŃ 1989

08-01-2015, 12:00
Aukcja w czasie sprawdzania była zakończona.

Cena kup teraz: 15 zł

Użytkownik ania_pok

numer aukcji: 4943376880

Miejscowość Łapanów

Koniec: 08-01-2015, 10:45

Dodatkowe informacje:
Stan: Używany
Okładka: miękka
Rok wydania (xxxx): 1989

Robert Kowalski

LOGIKA W ROZWIĄZYWANIU ZADAŃ

Wydawnictwa Naukowo-Techniczne

Warszawa 1989

Liczba stron: 292

Stan: dobry

SPIS TREŚCI

Wstęp

1. Wprowadzenie
2. Reprezentacja informacji w języku klauzul

3. Zstępujące i wstępujące procedury dowodzenia dla klauzul hornowskich

4. Rozwiązywanie zadań w logice klauzul hornowskich

5. Proceduralna interpretacja klauzul hornowskich

6. Planowanie akcji i zagadnienie tła

7. Rezolucja

8. Metoda grafu połączeń

9. Calościowe strategie rozwiązywania zadań

10. Porównywanie języka klauzul ze standardowym językiem logiki

11. Wtedy i tylko wtedy

12. Formalizacja rozstrzygalności

13. Język logiki, zmiany i sprzeczność informacji

Literatura

Skorowidz

____________________________________________________________________________

Zachęcam do zakupu i zapoznania się z innymi moimi aukcjami.

W razie wątpliwości z przyjemnością odpowiem na wszelkie pytania :)