Logika FIL-SL>Logika-c-2
Tezy i tautologie klasycznej logiki pierwszego rzędu
Tematyka zajęć:
- zbiór najważniejszych formuł języka logiki pierwszego rzędu
- dowodzenie ich w systemie aksjomatycznym logiki pierwszego rzędu
- sprawdzanie tautologiczności takich formuł.
|
W cyklu 2023/2024-L:
Jak w sylabusie ogólnym. |
Tryb zajęć
Koordynatorzy przedmiotu
W cyklu 2022/2023-Z: | W cyklu 2024/2025-L: | W cyklu 2023/2024-L: | W cyklu 2022/2023-L: |
Efekty kształcenia
Wiedza: - student zna najważniejsze tezy i tautologie logiki pierwszego rzędu
Umiejętności: - student potrafi samodzielnie dowieść dowolnej tezy logiki pierwszego rzędu z aksjomatów systemu
Kompetencje: - student jest precyzyjny w formułowaniu argumentów
- student potrafi ocenić czy argumentacja jest poprawna czy też nie jest poprawna
Kryteria oceniania
Zaliczenie na koniec – podstawowa forma pisemna (w wyjątkowych przypadkach ustnie). Obowiązuje materiał przedstawiony w czasie ćwiczeń. Ocenia się pracę pisemną końcową. Na drugim miejscu brana jest pod uwagę aktywność studenta na ćwiczeniach.
Literatura
1.Notatki z wykąłdów.
2. skrypt: Adam Olszewski, Postawy logiki klasycznej dla filozofów" dostępny w internecie pod linkiem:
.https://www.academia.edu/19807560/Logika_dla_student%C3%B3w_filozofii
3. Batóg T., Podstawy logiki, UAM Poznań, 2003. (to dla wyjątkowo zainteresowanych studentów, świetny podręcznik logiki)
|
W cyklu 2023/2024-L:
Głównie skrypt: Adam Olszewski, "Podstawy logiki klasycznej dla studentów filozofii". Dostępny pod linkiem: |
Uwagi
|
W cyklu 2023/2024-L:
Zaliczenie na koniec – podstawowa forma pisemna (w wyjątkowych przypadkach ustnie). Obowiązuje materiał przedstawiony w czasie ćwiczeń. Ocenia się pracę pisemną końcową. Na drugim miejscu brana jest pod uwagę aktywność studenta na ćwiczeniach. Do zaliczenia potrzeba znać 50 %. |
Więcej informacji
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: