Michał Lipnicki - Dydaktyka
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 14:10, 30 gru 2013 (edytuj) Lipnicki (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 14:11, 30 gru 2013 (edytuj) (undo) Lipnicki (Dyskusja | wkład) Następna edycja → |
||
Linia 19: | Linia 19: | ||
*[[Media: KRP01h.pdf|4. Wprowadzenie do KRP]] (zadanie domowe na slajdach 8 i 9) | *[[Media: KRP01h.pdf|4. Wprowadzenie do KRP]] (zadanie domowe na slajdach 8 i 9) | ||
**[[Media: RegułyKRP_Korea.pdf|5 Pierwotne reguły wnioskowania w KRP]] | **[[Media: RegułyKRP_Korea.pdf|5 Pierwotne reguły wnioskowania w KRP]] | ||
- | *[[Media: KRPkorea2.pdf|4. Wynikanie logiczne w KRP]] (zadanie domowe na slajdzie 24) | + | *[[Media: KRPkorea2.pdf|4. Wynikanie logiczne w KRP]] (zadanie domowe na 7.01 na slajdzie 24) |
---- | ---- |
Wersja z dnia 14:11, 30 gru 2013
CV | Badania | Dydaktyka | Publikacje | Teksty on line
Spis treści |
Logika (I rok Koreanistyki)
- 1. Wprowadzenie
- 2. Klasyczny Rachunek Zdań
- 3. Wnioskowania
- 4. Wprowadzenie do KRP (zadanie domowe na slajdach 8 i 9)
- 4. Wynikanie logiczne w KRP (zadanie domowe na 7.01 na slajdzie 24)
Archiwum
Logika
Klasyczny Rachunek Zdań
Klasyczny Rachunek Predykatów
Wprowadzenie do buddyzmu
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