Wydawnictwo Naukowe PWN Barbara Stanosz Ćwiczenia z logiki

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.