Ćwiczenia z logiki

Książka ta to wyjątkowa kolekcja zadań, które doskonale wspierają naukę logiki formalnej, koncentrując się głównie na klasycznym rachunku zdań oraz na rachunku zbiorów i relacji. To już szesnasta, odświeżona i rozbudowana edycja, która została stworzona z myślą o studentach uczestniczących w jedno- lub dwusemestralnych kursach logiki jako przedmiotu pomocniczego. Zawiera wiele nowych przykładów, które ułatwiają przyswojenie materiału ujętego w podręczniku „Wprowadzenie do logiki formalnej”. Dzięki rozwiązywaniu zadań z tej książki studenci będą mogli skutecznie posługiwać się podstawowymi pojęciami i metodami logiki formalnej, co w przyszłości okaże się nieocenione w ich pracy naukowej lub dydaktycznej. Cechy wyróżniające tę książkę to klarowna prezentacja materiału, stopniowanie poziomu trudności zadań, przystępne wyjaśnienie pojęć logicznych, a także liczne wskazówki ułatwiające rozwiązywanie bardziej złożonych problemów. Dodatkowo, zawiera ona wykaz symboli logicznych i ich synonimów oraz indeks pojęć logicznych z odniesieniami do ich definicji i zastosowania. W książce znajdziemy także zestaw zadań kontrolnych z gotowymi rozwiązaniami, które pomagają w ocenie postępów w nauce. Nowa edycja skuteczniej ilustruje rolę logiki w teorii języka, co czyni ją szczególnie użytecznym narzędziem do samodzielnej i systematycznej oceny efektywności zdobytej wiedzy z zakresu logiki przez studentów. Powyższy opis został dostarczony przez wydawcę.