Michał Lipnicki - Dydaktyka

From Zakład Logiki Stosowanej

CV | Badania | Dydaktyka | Publikacje | Teksty on line

Naukoznawstwo

• Sylabus - opis kursu

• Wprowadzenie
• Metody naukowe
• Klasyfikacja nauk; postęp w nauce
• Logiczna teoria języka
• Twierdzenia, prawa i teorie naukowe
• Wnioskowanie
• Uzasadnianie twierdzeń w naukach formalnych i empirycznych
• Własności systemów dedukcyjnych
• Rodzaje oraz warunki poprawności definicji; klasyfikacja
• Eksperyment, pomiar, idealizacja
• Wyjaśnianie praw i faktów szczegółowych; interpretacja humanistyczna
• Pytania; granice nauki

Logika

• Sylabus

Klasyczny Rachunek Zdań

• Wprowadzenie
• Semantyka KRZ
• Wnioskowanie
• System założeniowy

'Klasyczny Rachunek Predykatów

• Język KRP

Wyniki kolokwium zaliczeniowego

• Wyniki