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ęć
Ćwiczenia z logiki
|