Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 07:14, 29 kwi 2011 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 05:45, 23 maj 2011 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
| Linia 41: | Linia 41: | ||
| * [[Media: KRP2h.pdf| Semantyka KRP]] (na slajdzie nr 8 zadanie domowe) | * [[Media: KRP2h.pdf| Semantyka KRP]] (na slajdzie nr 8 zadanie domowe) | ||
| * [[Media: wynikKRP.pdf| Wnioskowanie w KRP]] | * [[Media: wynikKRP.pdf| Wnioskowanie w KRP]] | ||
| + | * [[Media: SZKRPh.pdf| System założeniowy KRP]] | ||
| ''Wyniki kolokwium zaliczeniowego'' | ''Wyniki kolokwium zaliczeniowego'' | ||
Wersja z dnia 05:45, 23 maj 2011
CV | Badania | Dydaktyka | Publikacje | Teksty on line
Naukoznawstwo
- 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
Klasyczny Rachunek Zdań
Klasyczny Rachunek Predykatów
- Język KRP
- Język KRP - zadania z rozwiązaniami
- Semantyka KRP (na slajdzie nr 8 zadanie domowe)
- Wnioskowanie w KRP
- System założeniowy KRP
Wyniki kolokwium zaliczeniowego
