Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu Metody dydaktyczne oraz ogólna forma zaliczenia przedmiotu Studia pierwszego stopnia Ogólnoakademicki Stacjonarne Polski Podstawowy Rok I, semestr II Semiotyka kognitywna, konceptualizacja i definiowanie 15 (wykład), 15 (ćwiczenia) Przedmiotem logiki formalnej są rachunki logiczne. Student uzyskuje wiedzę z zakresu klasycznej logiki zdań i logiki predykatów. Poznaje podstawowe pojęcia i problemy logiki formalnej. Ma wiedzę o podstawowych twierdzeniach logiki formalnej. Studenci są aktywnymi uczestnikami wykładu (zadają pytania, oczekiwane są ich komentarze i przykłady do wykładanego materiału). Ćwiczenia uczą formalnych metod logiki. Wykład zaliczony jest na podstawie aktywności. Ocena z ćwiczeń jest wypadkową oceny z pisemnego (70%) i aktywności (30%). Liczba dopuszczalnych nieobecności: zgodnie z regulaminem studiów. Odpracowanie nieobecności na zajęciach możliwe na podstawie pracy pisemnej zgodnej z treścią zajęć, na których student był nieobecny. Wymiar godzin na przygotowanie tej pracy jest zgodny z wymiarem czasu nieobecności. Odniesienie do Efekty kształcenia kierunkowych efektów kształcenia 1. Ma podstawową wiedzę o pojęciach logiki formalnej. (W) K_W11, K_W12, K_W13 2. Ma podstawową wiedzę na temat pojęć: dedukcja, niesprzeczność. (W) K_W11, K_W12, K_W13 3. Ma podstawową wiedzę na temat twierdzeń o logice formalnej. (W) K_W11, K_W12, K_W13 4. Potrafi dowodzić indukcyjnie. (W, Ćw.) K_U01, K_U08 5. Potrafi sprawdzać tautologiczność oraz dedukcyjność schematów formalnych. (W, Ćw.) K_U01, K_U08, K_U09 6. Potrafi współdziałać w grupie (Ćw.) K_K03, K_K07 7. Rozumie potrzebę podnoszenia swoich kompetencji logicznych. (W, Ćw.) K_K08 Punkty ECTS 3 Bilans nakładu pracy studenta Udział w wykładach 15 Udział w ćwiczeniach 15 Udział w konsultacjach 5 Przygotowanie do zajęć 25
Przygotowanie do zaliczeniowego 15 Wskaźniki ilościowe Nakład pracy studenta związany z zajęciami: Liczba godzin Punkty ECTS wymagającymi bezpośredniego udziału nauczyciela 35 1 o charakterze praktycznym 40 2 Data opracowania: 27 września 2015 Koordynator przedmiotu: Prof. dr hab. Kazimierz Trzęsicki
B. Informacje szczegółowe Nazwa przedmiotu Logika formalna Polski Rok studiów/semestr Rok I, semestr II Liczba godzin 15 Liczba punktów ECTS 1 Prowadzący Kazimierz Trzęsicki Treści merytoryczne przedmiotu Klasyczna logika zdań. Klasyczna logika predykatów. Podstawowe twierdzenia o logice klasycznej. Efekty kształcenia wraz ze sposobem ich weryfikacji Student ma pojęcie rachunku logicznego. Zna podstawowe twierdzenia o logice klasycznej. Forma i warunki zaliczenia Znajomość wyłożonego materiału jest oceniana na podstawie aktywności na zajeciach. Wykaz literatury podstawowej Trzęsicki K., Logika i teoria mnogości. Ujęcie systematyczno-historyczne, Warszawa 2003 Wykaz literatury uzupełniającej Grzegorczyk A., Zarys logiki matematycznej, Warszawa 1961 Łukasiewicz J., Elementy logiki matematycznej, Warszawa 1958 Mostowski A., Logika matematyczna, Warszawa 1948 Trzęsicki K., Elementy logiki i teorii mnogości, Białystok 2006 http://www.dmoz.org/world/polski/nauka_i_edukacja/ Matematyka/Logika_i_podstawy Kazimierz Trzęsicki podpis osoby składającej sylabus
C. Informacje szczegółowe Elementy składowe sylabusu Opis Nazwa przedmiotu Logika formalna polski Rok studiów/ semestr Rok I, sem. II Liczba godzin oraz forma Konwersatorium 15 godz. Liczba punktów ECTS Podać w wypadku, gdy nie wypełniono części A. Prowadzący dr Dariusz Surowik Treści merytoryczne przedmiotu 1. Wprowadzenie do Klasycznego Rachunku Zdań. 2. Schematy rachunkowo-zdaniowe zdań języka naturalnego. 3. Spójniki negacji, implikacji, alternatywy, koniunkcji i równoważności: charakterystyka semantyczna. Intuicyjne pojęcie tautologii KRZ, metoda zerojedynkowa. 4. Indukcja niezupełna, indukcja zupełna, wnioskowania uprawdopodobniające, wnioskowania dedukcyjne. 5. Dowodzenie, sprawdzanie, wyjaśnianie jako typy zadań poznawczych. 6. Dowodzenie wprost i nie wprost. Sprawdzanie pozytywne, a sprawdzanie negatywne. 7. Metoda tabel semantycznych dla KRZ. Efekty kształcenia wraz ze sposobem ich weryfikacji Forma i warunki zaliczenia przedmiotu Wykaz literatury podstawowej i uzupełniającej 1. Zna podstawowe prawa klasycznego rachunku zdań. 2. Potrafi dokonać translacji zdań języka naturalnego na język KRZ. 3. Potrafi sprawdzić poprawność wnioskowania z użyciem metod logiki formalnej. 4. Potrafi przeprowadzić dowód metodą wprost i metodą nie wprost. 5. Zna metodę tabel semantycznych dla klasycznego rachunku zdań. 6. Potrafi posługiwać się metodą tabel semantycznych w odniesieniu do formuł klasycznego rachunku zdań. Zaliczenie ćwiczeń - liczba godzin nieobecności kwalifikujących do niezaliczenia przedmiotu - 4 godziny lekcyjne zaliczenie nieobecności na konsultacjach 1. Guzicki W., Zakrzewski P., Wstęp do matematyki. Zbiór zadań, Warszawa, PWN. 2. Hołówka T., Kultura logiczna w przykładach, Warszawa: PWN. 3. Marek W., Onyszkiewicz J., Elementy logiki i teorii mnogości w zadaniach, Warszawa, PWN.
4. Trzęsicki K, Logika i teoria mnogości. Ujęcie systematyczno-logiczne, Warszawa, EXIT. 5. Stanosz B., Ćwiczenia z logiki, Warszawa, PWN. Dariusz Surowik podpis osoby składającej sylabus