V ýuka logiky na katedře Informatiky

1. Výuka logiky na katedře Informatiky VŠB-Technická universita Ostrava Marie Duží

2. Kurzy: http://www.cs.vsb.cz/duzi/ • Úvod do logiky (bakalářský, 1. Ročník):na webu jsou presentace přednášek (6,7) Magisterské: • Matematická logika • Matematické základy informatiky Výběrový: • Principy logické analýzy jazyka: TIL

3. Úvod do logiky • Cca 600 studentů(z toho asi 100 kombinovaná forma výuky) • Podmínky absolvování: • Zápočtový test výroková logika (5 – 15 bodů) • Zápočtový test predikátová logika (5 – 15 b.) • Aktivity max. 5 bodů • Minimální počet bodů na zápočet: 15 • Souhrnný test (min. 30, max. 65)

4. Zkouška – souhrnný test • Není možno fyzicky zvládnout jinak než pomocí automatizovaných testů • Nejdříve jsme zkoušeli systém Barborka • Negativní zkušenosti: • Velice málo „user friendly“ způsob zadávání příkladů • Nemožnost snadného prohlížení výsledků • Studenti dosáhli podezřele dobrých výsledků! • Nebyla zde možnost záporných bodů za špatné odpovědi (pasivní odklikání „naslepo“ – 30%) • Pozitivní zkušenosti? (snad jen studenti)

5. Systém Moodle: http://katis.cs.vsb.cz/moodle/ • Pozitivní: • Hodně variant zadávání úloh • Procentuelní ohodnocení obtížnosti úloh, Záporné body (v %) • Dobré zabezpečení proti zneužití • Protokoly, přehled o veškeré práci, dokumentace • Poměrně pohodlné vytváření databáze příkladů • Výuka i zkouška • Široké uplatnění (neznám všechny možnosti) • Negativní (?): zadávání úloh v „pseudo-Techu“ • Při opravách úloh – obtížné vyhledat danou úlohu

6. Moodle: Vytváření databáze úloh. Kategorie: • Všeobecné úlohy (množiny, relace, funkce) • Teoretické základy • Úsudky, vyplývání • Výroková logika – jazyk • Sémantika, modely • Úpravy formulí • Výroková logika – úsudky, důkazy • Sémantické • Rezoluční metoda • Predikátová logika – jazyk • Sémantika, modely • Úpravy formulí • Predikátová logika – úsudky, důkazy • Obecná Rezoluční metoda • Aristotelova logika, Venovy diagramy

7. Příklady: úloha 4.2.7 Rozhodněte, v jakém vztahu jsou formule: • [P(x)  x Q(x)] • y [P(x) Q(y)] Odpovědi: • Formule B je negací formule A (-33%) • Formule A je negací formule B (-33%) • Formule A a B mají přesně stejné modely (60%) • Formule A a B jsou ekvivalentní (40%) • Formule B je Skolemovou formou formule A (-33%) • Formule (A  B) je logicky pravdivá (50%) • Každý model formule B je modelem formule A, a naopak (60%)

8. Příklady, typy úloh • Úloha s výběrem odpovědí (99)-pomocná kat. • Více správných i chybných odpovědí, možnost různého odhodnocení dle závažnosti chyby či obtížnosti odpovědi • Ostatní možnosti? Snad jen přiřazování. • Vkládání obrázků – snadno:Kategorie 5.2. • Důkazy – nebezpečí pasivní znalosti, protože musím důkaz vytvořit, ale: • Je to první ročník • Dají se vložit „špeky“, takže student musí umět důkaz vytvořit, udělat si to na papír, a teprve pak je schopen zakliknout správné odpovědi

9. Generování testů • Pro účely výuky (hlavně pro kombinovanou formu studia) • Zpřístupnit na určitou dobu • Neomezený počet pokusů • Ukázat hodnocení, umožnit prohlédnutí • Zkouškové testy • Zpřístupnit na určitou dobu • Chránit heslem, IP adresou • Zobrazit hodnocení po odpovědi • Nezobrazovat správnou odpověď, neumožnit prohlédnutí • Zamíchat úlohy i odpovědi

10. Generování testů • Možnost zadat vybrané úlohy • Možnost generovat úlohy náhodně: • z každé kategorie jednu úlohu • Výsledky testů přenášíme automaticky do Katisu (Katedrový informační systém, kde je vše). • V případě „reklamací“ ze strany studentů • Funkce protokoly (Klimánek Pavel) • Rychlé nalezení, dokumentace, vše, co student kdy prováděl • V případě oprávněné reklamace  oprava úlohy, připsání bodů (automaticky – Moodle přepočítá), navíc – ručně připíšu body za aktivitu • Oprava úlohy: problém, jak úlohu nalézt: dle kategorie a pak prostě mechanicky(asi by to chtělo ještě lépe dokumentovat úlohy pro zadávajícího)