Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 16:00, 21 sty 2012 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 11:22, 24 wrz 2012 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
Linia 7: | Linia 7: | ||
[[Michał Lipnicki - Lista publikacji|Publikacje]] | | [[Michał Lipnicki - Lista publikacji|Publikacje]] | | ||
[[Michał Lipnicki - Teksty on line|Teksty on line]] | [[Michał Lipnicki - Teksty on line|Teksty on line]] | ||
+ | |||
+ | ==Logika== | ||
+ | |||
+ | * [[Media: sylabuslit.pdf| Sylabus]] | ||
+ | |||
+ | '''Klasyczny Rachunek Zdań''' | ||
+ | |||
+ | * [[Media: log1lit.pdf| Wprowadzenie]] | ||
+ | * [[Media: KRZ1hand.pdf| Język KRZ]] | ||
+ | * [[Media: logika3h.pdf | Wnioskowanie]] | ||
+ | |||
+ | '''Klasyczny Rachunek Predykatów''' | ||
+ | |||
+ | * [[Media: KRP1.pdf| Wprowadzenie, Język KRP]] | ||
+ | * [[Media: KRP2h.pdf| Semantyka KRP]] | ||
+ | * [[Media: wynikKRP.pdf| Pojęcie wynikania w KRP]] | ||
+ | |||
+ | |||
+ | ---- | ||
+ | |||
+ | '''Archiwum''' | ||
==Naukoznawstwo== | ==Naukoznawstwo== | ||
Linia 24: | Linia 45: | ||
* [[Media: Naukoznawstwo11.pdf| Wyjaśnianie praw i faktów szczegółowych; interpretacja humanistyczna]] | * [[Media: Naukoznawstwo11.pdf| Wyjaśnianie praw i faktów szczegółowych; interpretacja humanistyczna]] | ||
* [[Media: Naukoznawstwo12.pdf| Pytania; granice nauki]] | * [[Media: Naukoznawstwo12.pdf| Pytania; granice nauki]] | ||
- | |||
- | ==Logika== | ||
- | |||
- | * [[Media: sylabuslit.pdf| Sylabus]] | ||
- | |||
- | '''Klasyczny Rachunek Zdań''' | ||
- | |||
- | * [[Media: log1lit.pdf| Wprowadzenie]] | ||
- | * [[Media: KRZ1hand.pdf| Język KRZ]] | ||
- | * [[Media: logika3h.pdf | Wnioskowanie]] | ||
- | |||
- | '''Klasyczny Rachunek Predykatów''' | ||
- | |||
- | * [[Media: KRP1.pdf| Wprowadzenie, Język KRP]] | ||
- | * [[Media: KRP2h.pdf| Semantyka KRP]] | ||
- | * [[Media: wynikKRP.pdf| Pojęcie wynikania w KRP]] | ||
==Refleksja logiczna Orientu i logika Zachodu== | ==Refleksja logiczna Orientu i logika Zachodu== |
Wersja z dnia 11:22, 24 wrz 2012
CV | Badania | Dydaktyka | Publikacje | Teksty on line
Logika
Klasyczny Rachunek Zdań
Klasyczny Rachunek Predykatów
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