Metody logiki. Dedukcja
- Kategoria:
- informatyka, matematyka
- Wydawnictwo:
- Wydawnictwo Uniwersytetu Łódzkiego
- Data wydania:
- 2016-01-01
- Data 1. wyd. pol.:
- 2016-01-01
- Liczba stron:
- 144
- Czas czytania
- 2 godz. 24 min.
- Język:
- polski
- ISBN:
- 9788380883598
- Tagi:
- logika metody logiki logika formalna logika matematyczna dedukcja
Metody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego, a zamieszczano zbyt mało przykładów, w jaki sposób konstruować dowody. Niniejsza książka, jak i cały planowany cykl, mają wypełnić tę lukę w polskich podręcznikach do logiki.
Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej, arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny. na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: dowód wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 15
- 2
- 2
- 1
- 1
- 1
- 1
OPINIE i DYSKUSJE