pokaz koszyk
rozwiń menu
tylko:  
podręcznik:

Materiały pomocnicze do ćwiczeń z logiki

Dane szczegółowe:
Wydawca: Uniwersytetu Jagiellońskiego
Rok wyd.: 2015
Oprawa: miękka
Ilość stron: 100 s.
Wymiar: 170x240 mm
EAN: 9788323338505
ISBN: 978-83-233-3850-5
Data: 2015-02-13
Cena wydawcy: 29.40 złpozycja niedostępna

Opis książki:

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.

Książka "Materiały pomocnicze do ćwiczeń z logiki" - Katarzyna Idziak - oprawa miękka - Wydawnictwo Uniwersytetu Jagiellońskiego. Książka posiada 100 stron i została wydana w 2015 r.

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