Logika w rozwiązywaniu zadań

15,00 zł

Opis produktu

Szczegóły

Tematem książki są podstawy teoretyczne programowania w języku logiki. Autor - jeden z twórców tej koncepcji programowania - kładzie główny nacisk na zastosowanie metod logiki w rozwiązywaniu zadań i w bazach danych. Posługuje się przy tym językiem klauzul. Jest to odmiana sformalizowanego języka logiki, wyróżniająca się prostą składnią oraz pozwalająca łatwo zautomatyzować dowodzenie. Na logice klauzul opiera się coraz bardziej popularny język programowania Prolog. W książce znajduje się omówienie różnych metod wnioskowania oraz procedur dowodowych przydatnych w zastosowaniach komputerowych, m.in. wnioskowania wstępującego i zstępującego, reguły rezolucji i procedury grafu połączeń. Oddzielne rozdziały poświęcono zależnościom między językiem przedmiotowym a metajęzykiem oraz ogólnym rozważaniom procesów zachodzących w systemie zmieniającej się informacji. Książka przeznaczona jest w głównej mierze dla programistów, projektantów systemów przetwarzania informacji i systemów doradczych, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych i matematycznych.

Informacje dodatkowe

Informacje dodatkowe

Kod D09503
Autor Kowalski Robert
Tłumacz Luboński Paweł
Wydawca Wydawnictwa Naukowo-Techniczne
Rok wydania Warszawa 1989
Numer wydania I
Język wydania polski
ISBN 83-204-1097-5
Oprawa miękka
Opracowanie graficzne Pietrzyk Tadeusz
Liczba stron 288
Format 17x24
Stan techniczny dobry
Seria Biblioteka Inżynierii Oporogramowania
Nakład 6000

Reviews

Napisz własną opinię

Piszesz o: Logika w rozwiązywaniu zadań

Jak oceniasz ten produkt? *

  1 gwiazdka 2 gwiazdki 3 gwiazdki 4 gwiazdki 5 gwiazdek
Oceń produkt