INNE EBOOKI AUTORA
Autor:
Wydawca:
Format:
ibuk
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.
Rok wydania | 2008 |
---|---|
Liczba stron | 156 |
Kategoria | Logika |
Wydawca | Wydawnictwo Naukowe PWN |
ISBN-13 | 978-83-01-14428-9 |
Numer wydania | 1 |
Język publikacji | polski |
Informacja o sprzedawcy | ePWN sp. z o.o. |
INNE EBOOKI AUTORA
POLECAMY
Ciekawe propozycje
Spis treści
Wstęp | 7 |
Część I. Klasyczny rachunek logiczny | 9 |
Rachunek zdań | 9 |
Rachunek kwantyfikatorów | 40 |
Część II. Rachunek zbiorów i relacji | 72 |
Zadania kontrolne | 121 |
Aneks | 129 |
Wskazówki | 129 |
Rozwiązania żądań kontrolnych | 136 |
Notacja logiczna | 147 |
Wykaz skrótów terminologicznych | 150 |
Indeks pojęć | 151 |