Logika- materiały

Piotrek172 · Post autor: **Piotrek172** » 6 maja 2015, o 22:49

Witam, czy mógłby ktoś polecić jakąś książke/materiały do nauki logiki na studiach?
Dziękiz a pomoc.

Post autor: **Jan Kraszewski** » 6 maja 2015, o 23:57

Co rozumiesz przez "logikę na studiach"? Na różnych kierunkach ta nazwa wykładu znaczy bardzo różne rzeczy.

JK

Piotrek172 · Post autor: **Piotrek172** » 7 maja 2015, o 08:19

Cos takiego (wyciąg z syllabusa) :

Wprowadzenie do logiki, istota logiki, rola i zadania logiki, obszary zastosowań. Rola i znaczenie języka. Składnia, semantyka, interpretacja, model. Własności logiczne. Wywód. Pojęcie logicznej konsekwencji. Przykłady formalizacji problemów.
Język rachunku zdań. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń. Drzewa decyzyjne i diagramy OBDD.
Logika rachunku predykatów. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń.
Logiki atrybutowe. Składnia i semantyka. Reguły przekształcania formuł. Postacie CNF, DNF, NNF. Reguły wnioskowania. Dowodzenie twierdzeń. Tablice i drzewa decyzyjne.
Podstawy automatycznego dowodzenie twierdzeń. Reguła rezolucji. Reguła dualna. Podstawienia i unifikacja. Sprowadzanie do postaci normalnej. Strategie dowodzenia.
Wstęp do programowania logicznego. Idea języka Prolog.
Wybrane problemy i ograniczenia logiki klasycznej.
Wybrane zastosowania i narzędzia logiki.
Informacja o innych logikach.-- 7 maja 2015, o 20:35 --Up, poda ktoś jakieś popozycje? Dzięki

Elayne · Post autor: **Elayne** » 22 maja 2015, o 06:19

Patrick J. Hurley: A Concise Introduction to Logic
- oraz strony www autora