Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 13:50, 11 paź 2012 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 13:52, 11 paź 2012 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
Linia 15: | Linia 15: | ||
*[[Media: Log1lit.pdf| Wprowadzenie]] | *[[Media: Log1lit.pdf| Wprowadzenie]] | ||
+ | *[[Media: KRZ1hand.pdf| Język KRZ]] | ||
'''Klasyczny Rachunek Predykatów''' | '''Klasyczny Rachunek Predykatów''' |
Wersja z dnia 13:52, 11 paź 2012
CV | Badania | Dydaktyka | Publikacje | Teksty on line
Spis treści |
Logika
Klasyczny Rachunek Zdań
Klasyczny Rachunek Predykatów
Wprowadzenie do buddyzmu
Archiwum
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