MATERIAŁY POMOCNICZE DO ĆWICZEŃ Z LOGIKI
KATARZYNA IDZIAK
Wydawnictwo: WYDAWNICTWO UNIWERSYTETU JAGIELLOŃSKIEGO
Cena: 32.90 zł
29.61 zł brutto
- Paczkomaty InPost 14.99 zł brutto
- Poczta Polska - odbiór w punkcie 9.99 zł brutto
- Poczta Polska - przedpłata 15.99 zł brutto
- Poczta Polska - pobranie 19.99 zł brutto
- Kurier DHL - przedpłata 18.99 zł brutto
- Kurier DHL - pobranie 21.99 zł brutto
- Odbiór osobisty - UWAGA - uprzejmie prosimy poczekać na informację z księgarni o możliwości odbioru zamówienia - 0.00 zł brutto
Opis
ISBN: 978-83-233-3850-5
format: B5 oprawa: miękka Rok wydania: 2015 |
|
Materiały pomocnicze do ćwiczeń z logiki powstały w odpowiedzi na zapotrzebowanie studentów kierunków filozofia oraz kognitywistyka i są przede wszystkim do nich adresowane. Mogą być użyteczne także dla studentów pierwszych lat różnych kierunków humanistycznych, dla których logika stanowi ważny element kształcenia ogólnego przygotowującego do recepcji różnorodnych treści z danej dyscypliny. Sprawdzony w praktyce podręcznik nadaje się idealnie do samodzielnej pracy - zawiera wiele ćwiczeń i przy kładów z rozwiązaniami, których analiza ułatwi opanowanie materiału z wykładów i będzie pomocna w osiągnięciu szeroko rozumianej kultury logicznej. Każdy rozdział zawiera niezbędne definicje ważniejszych pojęć, a następnie przykłady i rozwiązane ćwiczenia. Zamieszczono także różne ćwiczenia utrwalające, których samodzielne rozwiązanie umożliwi nabycie biegłości w operowaniu tymi pojęciami.
Przygotowane opracowanie jest wydatną i cenną pomocą dydaktyczną, prowadzącą do wyrobienia logicznego rozumowania, koniecznego nie tylko w naukach ścisłych, lecz także humanistycznych i społecznych.
SPIS TREŚCI
Przedmowa
Wstęp
Część pierwsza. Logiki klasyczne
I. Klasyczny Rachunek Zdań
I.1. Język Klasycznego Rachunku Zdań
I.2. Tautologiczność formuł
I.3. Wzajemna definiowalność funktorów
I.4. Postaci normalne
I.5. Reguły normalne
I.6. Dowodzenie założeniowe
I.7. Zestawienie niektórych ważniejszych tautologii KRZ
I.8. System aksjomatyczny Klasycznego Rachunku Zdań
I.9. Elementy rachunku Gentzena dla KRZ
I.10. System drzew diadycznych Smullyana dla KRZ
I.11. Zestawienie schematów ważniejszych tez KRZ
II. Klasyczny Rachunek Predykatów
II.1. Język Klasycznego Rachunku Predykatów
II.2. Tautologiczność formuł
II.3. Preneksowa postać normalna
II.4. Reguły normalne
II.5. Zestawienie niektórych ważniejszych tautologii KRP
II.6. System aksjomatyczny Klasycznego Rachunku Predykatów
II.7. Zestawienie schematów ważniejszych tez KRP
Kod wydawnictwa: 978-83-233-3850-5
Ten produkt nie ma jeszcze opinii
Twoja opinia
aby wystawić opinię.