SOWA OPAC : Pedagogiczna Biblioteka Wojewódzka w Nowym Sączu

Brak okładki

Książka

W koszyku

oceń

Logika w rozwiązywaniu zadań / Robert Kowalski ; z ang. przeł. Paweł Luboński. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1989. - XV, 288, [4] s. : rys. ; 24 cm.

(Biblioteka Inżynierii Oprogramowania)

Autor

Kowalski Robert. Autor Luboński Paweł. Tłumaczenie

Temat

Programowanie (informat.) Logika

zob. w.bibliotece.pl

Status dostępności:

Wypożyczalnia Nowy Targ

Są egzemplarze dostępne do wypożyczenia: sygn. 40546 (1 egz.)

Strefa uwag:

Uwaga dotycząca bibliografii

Bibliogr. s. 277-284. - Indeks. - Oryg. : "Logic for problem solving" 1979.

Adnotacja wyjaśniająca lub analiza wskazująca

Streszczenie: Tematem książki są podstawy teoretyczne programowania w języku logiki. Autor - jeden z twórców 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. Zagadnienia omówione w książe nie ulegają dezaktualizacji. Autor unika nadmiernej formalizacji wywodów, dzięki czemu książka nie wymaga od czytelnika przygotowania matematycznego ani informatycznego, zmusza jednak do wysiłku i zaangażowania intelektualnego. Jest przeznaczona 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.