Ćwiczenia z logiki,100KS (647283) (wydawnictwo naukowe pwn)

wybór zadań usprawniających przyswojenie materiału z zakresu logiki formalnej, a zwłaszcza:konwencjonalnego rachunku zadań,rachunku zbiorów i relacji.Szesnaste już uzupełnione i zwiększone wydanie zbioru ćwiczeń przeznaczonego dla słuchaczy studiów, mających w programie jedno- albo dwusemestralny kurs logiki jako dyscypliny pomocniczej.

gromadzi 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 skatalogowanych tu zadań wymaga użycia podstawowych pojęć i metod elementarnej logiki formalnej.

Student osiągnie dzięki czemu umiejętność funkcjonalnego użytkowania 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:klarowne ujęcie materiału,stopniowanie trudności,wyjaśnianie pojęć logicznych,mieści wskazówki ułatwiające rozwiązywanie zadań bardziej niełatwych,wykaz symboli logicznych i ich synonimów,indeks pojęć logicznych z odesłaniami do ich wyjaśnień i zastosowań,pakiet zadań kontrolnych z rozwiązaniami.Nowa edycja lepiej służy zrozumieniu miejsca logiki w teorii języka.

Jest szczególnie pomocna w studiowaniu logiki, bo pozwala na studentowi samodzielną i systematyczną kontrolę dobrześci cyklu uczenia się i jego wyników.Książka rekomendowana studentom nauk humanistycznych i społecznych.