Autor: Barbara Stanosz

ISBN: 978-83-01-14428-9

Ilość stron: 156

Data wydania: 2007

Wybór zadań ułatwiających przyswojenie materiału z zakresu logiki formalnej, a zwłaszcza:
• klasycznego rachunku zadań,
• rachunku zbiorów i relacji.

Szesnaste już uzupełnione i rozszerzone wydanie zbioru ćwiczeń przeznaczonego dla słuchaczy studiów, mających w programie jedno- lub dwusemestralny kurs logiki jako dyscypliny pomocniczej. Zawiera serię nowych przykładów, których rozwiązywanie pomoże czytelnikowi w opanowaniu wiadomości, o jakie wzbogacono podręcznik Wprowadzenie do logiki formalnej.

Rozwiązywanie zebranych tu zadań wymaga zastosowania podstawowych pojęć i metod elementarnej logiki formalnej. Student osiągnie dzięki temu umiejętność praktycznego wykorzystywania narzędzi formalnologicznych, co będzie pomocne w studiach nad wybraną dziedziną nauki, w przyszłej pracy badawczej czy pedagogicznej.

Zbiór ma zdecydowane walory dydaktyczne:
• przejrzyste ujęcie materiału,
• stopniowanie trudności,
• wyjaśnianie pojęć logicznych,
• zawiera wskazówki ułatwiające rozwiązywanie zadań bardziej skomplikowanych,
• wykaz symboli logicznych i ich synonimów,
• indeks pojęć logicznych z odesłaniami do ich wyjaśnień i zastosowań,
• zestaw zadań kontrolnych z rozwiązaniami.

Nowa edycja lepiej służy zrozumieniu miejsca logiki w teorii języka. Jest bardzo pomocna w studiowaniu logiki, bo umożliwia studentowi samodzielną i systematyczną kontrolę prawidłowości procesu uczenia się i jego wyników.

Książka polecana studentom nauk humanistycznych i społecznych.

Rozdziały:

Cześć I. Klasyczny rachunek logiczny
Rachunek zdań
Rachunek kwantyfikatorów

Cześć II. Rachunek zbiorów i relacji

Zadania kontrolne

Aneks
Wskazówki
Rozwiązania zadań kontrolnych
Notacja logiczna
Wykaz skrótów terminologicznych
Indeks pojęć