Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 17:41, 28 lut 2011 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 20:00, 13 mar 2011 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
| Linia 28: | Linia 28: | ||
| * [[Media: sylabuslog.pdf| Sylabus]] | * [[Media: sylabuslog.pdf| Sylabus]] | ||
| + | |||
| + | '''Klasyczny Rachunek Zdań''' | ||
| * [[Media: logika1h.pdf| Wprowadzenie]] | * [[Media: logika1h.pdf| Wprowadzenie]] | ||
| Linia 33: | Linia 35: | ||
| * [[Media: logika3hand.pdf| Wnioskowanie]] | * [[Media: logika3hand.pdf| Wnioskowanie]] | ||
| * [[Media: logika4hand.pdf| System założeniowy]] | * [[Media: logika4hand.pdf| System założeniowy]] | ||
| + | |||
| + | '''Klasyczny Rachunek Predykatów'' | ||
| + | * [[Media: KRP1.pdf| Język KRP]] | ||
| '''Wyniki kolokwium zaliczeniowego''' | '''Wyniki kolokwium zaliczeniowego''' | ||
Wersja z dnia 20:00, 13 mar 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
Wyniki kolokwium zaliczeniowego
