Program
Zvaná přednáška:
autor
název
>>>
Prezentace výsledků projektu:
číslo
název
>>>
Čtvrtek 2. února - Kudy do dedukce
14:00 registrace
15:00 - 15:45 Ludmila Dostálová: Přirozená dedukce okolo nás
>>>
15:45 - 16:30 David Pelikán: Logické hry jako úvod do výuky kalkulu
>>>
16:30 čaj a káva
17:00 - 17:45 Karel Šebela: Dedukce v aristotelské logice
>>>
17:45 - 18:30 Vítězslav Švejdar: Prattův kalkulus pro dokazování prvočísel
>>>
19:00 večeře
Pátek 3. února - Není kalkul jako kalkul
8:00 snídaně
9:00 - 9:45 Tomáš Holeček: Počítání v logickém kalkulu z pohledu Descartovské metody
>>>
9:45 - 10:30 Jiří Raclavský: Důkazový systém HOL a logika
>>>
10:30 čaj a káva
11:00 - 11:45 Petr Hromek: Jak na filozofickou logiku: Harry Gensler - Introduction to Logic
>>>
12:00 oběd
Didaktický software a webové aplikace pro výuku dedukce
14:00 - 15:00 Mike Murray: The Openproof Project
>>>
15:00 - 16:00 Ray Jennings: Ara Project
>>>
16:00 čaj a káva
16:30 - 17:15 Svatopluk Nevrkla: Zhodnocení LPL Software Package
>>>
17:15 - 18:00 Francois Schwarzentruber: PANDA
>>>
18:00 - 18:45 Krysia Broda: PANDORA - a Natural Deduction Proof Tool
>>>
19:00 večeře
Sobota 4. února - Přirozená dedukce vs. sémantická tabla …
8:00 snídaně
09:00 - 09:45 Igor Sedlár: Prirodzená dedukcia, či analytické tably?
>>>
09:45 - 10:30 František Gahér: Čo a ako učiť z logiky v spoločensko-humanitných odborech?
>>>
10:30 čaj a káva
…nebo rezoluce?
11:00 - 11:45 Martina Číhalová: Rezoluční metoda pro výuku dedukce
>>>
11:45 - 12:30 Luboš Popelínský, Eva Mráková: Výuka inference v kurzech logiky na FI MU
>>>
13:00 oběd
14:00 volné odpoledne
14:00 setkání projektového týmu
19:00 večeře
Neděle 5. února – Prezentace výsledků projektu OPVK CZ.1.07/2.2.00/07.0217 ORGANON: LMS pro výuku logiky
8:00 snídaně
9:00 - 9:30 Martin Prokeš: Nástroj pro sdílenou pracovní plochu a vzdálenou výuku
>>>
9:30 - 10:00 Juraj Bobek: Užití RFID k autentizaci v e-learningových systémech
>>>
10:00 - 10:30 Marián Koniar: Biometrické overovanie identity v systéme eLogika
>>>
10:30 čaj a káva
11:00 - 12:00 Ludmila Dostálová, Jaroslav Lang: LMS ORGANON
>>>
12:00 ukončení semináře a oběd
