Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 12:02, 4 cze 2011 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 08:27, 4 paź 2011 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
| Linia 31: | Linia 31: | ||
| '''Klasyczny Rachunek Zdań''' | '''Klasyczny Rachunek Zdań''' | ||
| - | * [[Media: logika1h.pdf| Wprowadzenie]] | + | * [[Media: log1lit.pdf| Wprowadzenie]] |
| - | * [[Media: KRZ1hand.pdf| Semantyka KRZ]] | + | |
| - | * [[Media: logika3hand.pdf| Wnioskowanie]] | + | |
| - | * [[Media: logika4hand.pdf| System założeniowy]] | + | |
| - | + | ||
| - | '''Klasyczny Rachunek Predykatów''' | + | |
| - | * [[Media: KRP1.pdf| Język KRP]] | + | |
| - | * [[Media: KRPzadania.pdf| Język KRP - zadania z rozwiązaniami]] | + | |
| - | * [[Media: KRP2h.pdf| Semantyka KRP]] (na slajdzie nr 8 zadanie domowe) | + | |
| - | * [[Media: wynikKRP.pdf| Wnioskowanie w KRP]] | + | |
| - | * [[Media: SZKRPh.pdf| System założeniowy KRP]] | + | |
| - | + | ||
| - | '''Rachunek zbiorów''' | + | |
| - | *[[Media: Rzh.pdf| Podstawowe działania na zbiorach]] | + | |
| - | + | ||
| - | ''Wyniki kolokwium zaliczeniowego'' | + | |
| - | * [[Media: wyniki.pdf| Wyniki]] | + | |
| - | + | ||
| [[Category:Pracownicy]] | [[Category:Pracownicy]] | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Wersja z dnia 08:27, 4 paź 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ń
