Vizsgafeladatok és gyakorló feladatok generálása

Hasonló dokumentumok
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai

Logika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?

1. Definíciók. 2. Formulák. Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat

A logikai következmény

Logika és informatikai alkalmazásai

2. Logika gyakorlat Függvények és a teljes indukció

Ismeretellenőrzés a Moodle rendszerben. Dr. Orbán Anna BCE

Logika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26

1. Logikailag ekvivalens

Logika és informatikai alkalmazásai

Sztöchiometriai egyenletrendszerek minimális számú aktív változót tartalmazó megoldásainak meghatározása a P-gráf módszertan alkalmazásával

Logika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33

Az informatika logikai alapjai

Az informatika logikai alapjai

Logika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26

3. Az ítéletlogika szemantikája

A TANTÁRGY ADATLAPJA

Logikai ágensek. Mesterséges intelligencia március 21.

AZ INFORMATIKA LOGIKAI ALAPJAI

Logika és informatikai alkalmazásai

1. Tétel - Az ítéletkalkulus alapfogalmai

Logika kiskáté. Mihálydeák Tamás és Aszalós László

Logika kiskáté. Mihálydeák Tamás és Aszalós László

Logika és informatikai alkalmazásai

Matematikai logika NULLADRENDŰ LOGIKA

Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László

Diszkrét matematika MATEMATIKAI LOGIKA

Kétszemélyes játékok

LOGIKA. Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László.

Mesterséges Intelligencia MI

Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák

Problémamegoldás kereséssel. Mesterséges intelligencia március 7.

Bizonytalanság. Mesterséges intelligencia április 4.

SZOFTVERES SZEMLÉLTETÉS A MESTERSÉGES INTELLIGENCIA OKTATÁSÁBAN _ Jeszenszky Péter Debreceni Egyetem, Informatikai Kar jeszenszky.peter@inf.unideb.

Kereső algoritmusok a diszkrét optimalizálás problémájához

Algoritmuselmélet 1. előadás

Algoritmusok és adatszerkezetek II.

Tippek és trükkök Moodle számonkérés készítéséhez Tips and tricks for making examination in Moodle

Felmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21

Mesterséges Intelligencia MI

OpenQAsS. Nyílt forráskódú minőségbiztosítási eszköztár európai szakképző intézmények számára HU01-KA

Az értékelés során következtetést fogalmazhatunk meg a

Logika és informatikai alkalmazásai

Ugrólisták. RSL Insert Example. insert(22) with 3 flips. Runtime?

2. Ítéletkalkulus szintaxisa

Más ez a teszt. Absztrakt

Kereső algoritmusok a diszkrét optimalizálás problémájához

Algoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.

Az informatika logikai alapjai

SZAKKÉPZÉSI KERETTANTERV a(z) MULTIMÉDIA-ALMAZÁSFEJLESZTŐ SZAKKÉPESÍTÉS-RÁÉPÜLÉSHEZ

A klubnap fő témája: Alapozás

Szakdolgozat egy fejezetének tartalomjegyzéke

H5P az e-learning kurzusokban és web oldalakon használható multimédiás szerzői rendszer

Matematikai logika. Nagy Károly 2009

SAT probléma kielégíthetőségének vizsgálata. masszív parallel. mesterséges neurális hálózat alkalmazásával

Diszkrét matematika I.

PANNON EGYETEM Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék

Felmentések. Ha valaki tanár szakos, akkor mivel neki elvileg a hálóban nincs logika rész, felmentést kaphat a logika gyakorlat és vizsga alól.

Diszkrét matematika I. gyakorlat

Gépi tanulás. Hány tanítómintára van szükség? VKH. Pataki Béla (Bolgár Bence)

Algoritmuselmélet 1. előadás

Moodle 3.x - egy kiforrott elearning rendszer?

Adatszerkezetek 1. előadás

A 21. sorszámú Távközlési technikus megnevezésű szakképesítés szakmai és vizsgakövetelménye 1. AZ ORSZÁGOS KÉPZÉSI JEGYZÉKBEN SZEREPLŐ ADATOK

A matematika alapjai. Nagy Károly 2014

A TANTÁRGY ADATLAPJA

Megkülönböztetett kiszolgáló routerek az

1/ gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI

1. gyakorlat. Mesterséges Intelligencia 2.

SZÁMÍTÁSTUDOMÁNY ALAPJAI

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI

Véletlenszám generátorok és tesztelésük. Tossenberger Tamás

Logika es sz am ıt aselm elet I. r esz Logika 1/36

A félév során előkerülő témakörök

MTA SZTAKI HBIT szakmai gyakorlatok 2014 nyár

Grafikonok automatikus elemzése

Ésik Zoltán (SZTE Informatikai Tanszékcsoport) Logika a számtastudományban Logika és informatikai alkalmazásai Varterész Magdolna, Uni-Deb

Logika és informatikai alkalmazásai

Deníciók és tételek a beugró vizsgára

2004/2005 Logikai alapok a programozáshoz. (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin

Logika feladatgyűjtemény

Moodle 3.5 és egyéb újdonságok Vágvölgyi Csaba - Papp Gyula

A kompetencia alapú matematika oktatás. tanmenete a 9. osztályban. Készítette Maitz Csaba

Logika és informatikai alkalmazásai. Wednesday 17 th February, 2016, 09:03

Abszolútértékes egyenlôtlenségek

Logika és informatikai alkalmazásai

E-LEARNING ALAPÚ TÁVOKTATÁS A SZÉCHENYI ISTVÁN EGYETEMEN

1/ gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI

AZ INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI

INFORMATIKAI ALAPISMERETEK

Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése

TANTÁRGYI ÚTMUTATÓ. Könyvvezetési ismeretek. tanulmányokhoz

INFORMATIKA OKTATÁS ISKOLÁNKBAN

Elsőrendű logika. Mesterséges intelligencia március 28.

ELTE TTK Multimédiapedagógia és Oktatástechnológia Központ Budapest, Pázmány P. sétány 1. TANULÓI ÚTMUTATÓ

Matematikai modellezés

Átírás:

Vizsgafeladatok és gyakorló feladatok generálása Aszalós László Debreceni Egyetem, Informatikai Kar 2018. október 4. Aszalós L. (DEIK) Feladatok generálása 2018/10/4 1 / 23

Tartalom 1 Előélet 2 Motiváció 3 Tesztek 4 Technikai részletek Aszalós L. (DEIK) Feladatok generálása 2018/10/4 2 / 23

Két irányzat: manuális, generált Aszalós L. (DEIK) Feladatok generálása 2018/10/4 3 / 23

pre-moodle 2001-2008 Offline és online használat végtelen sok feladat HTML + JavaScript Aszalós L. (DEIK) Feladatok generálása 2018/10/4 4 / 23

Logikai fogalmak - Igazságtábla Aszalós L. (DEIK) Feladatok generálása 2018/10/4 5 / 23

Informatikai algoritmusok: rendezés, keresés, gráfok Aszalós L. (DEIK) Feladatok generálása 2018/10/4 6 / 23

Tartalom 1 Előélet 2 Motiváció 3 Tesztek 4 Technikai részletek Aszalós L. (DEIK) Feladatok generálása 2018/10/4 7 / 23

Igény tömegképzés (167 fős előadás) eltérő előismeretek egyedi igények egy feladat nem elég típusonként feladatgyűjtemény kidolgozott megoldások önálló otthoni gyakorlás tesztek visszacsatolás önellenőrzés Aszalós L. (DEIK) Feladatok generálása 2018/10/4 8 / 23

Lehetőség elearning.unideb.hu 15 kar igényei szerint exam.unideb.hu megfelelő védelmi szintek 150 fős vizsgaterem online teremfoglalás Vágvölgyi Csaba technikai gondok orvoslása, megoldási javaslatok Aszalós L. (DEIK) Feladatok generálása 2018/10/4 9 / 23

Tartalom 1 Előélet 2 Motiváció 3 Tesztek 4 Technikai részletek Aszalós L. (DEIK) Feladatok generálása 2018/10/4 10 / 23

Moodle tesztfajták igaz/hamis kiegészítendő kérdés, beépített válaszos számításos, egyszerű számításos esszé feleletválasztós (mcq) párosító (kakukktojás) Nincs valódi véletlen teszt Minta alapján helyben generálandó (calculated), vagy a rendszeren kívül generáljuk, és importáljuk Aszalós L. (DEIK) Feladatok generálása 2018/10/4 11 / 23

Pontozás - feleletválasztós tesztek mindent vagy semmit 0 vagy 1 pont lineáris (4 választ tekintve) alábbi értékek szummája nem mehet negatívba (sajnos) jó válaszok száma 1 2 3 4 kiválasztott jó 1 1/2 1/3 1/4 kiválasztott rossz -1/3-1/2-1 X Aszalós L. (DEIK) Feladatok generálása 2018/10/4 12 / 23

Feladatok - Mesterséges intelligencia informált és nem informált fa- és gráfkeresések minimax érték (számításos) nyertes és vesztes állapotok alfa-béta nyesés élkonzisztencia ágensek, állapottérleírás, rezolúció (esszé) Aszalós L. (DEIK) Feladatok generálása 2018/10/4 13 / 23

Feladatok - Logika halmazok, azonos halmazok párosítása relációk osztályozása (tranz., szimm., stb.) induktív definíciók helyesen formált formulák részformulák igazságtáblák formula, formulahalmaz modellje kielégíthetetlen, kielégíthető formulák logikai következmények DNF, KNF (normálformák) kötött és szabad változók prenex alak Aszalós L. (DEIK) Feladatok generálása 2018/10/4 14 / 23

Tartalom 1 Előélet 2 Motiváció 3 Tesztek 4 Technikai részletek Aszalós L. (DEIK) Feladatok generálása 2018/10/4 15 / 23

Moodle által elfogadott formátumok Aiken beépített válaszok Blackboard Examview Gift Moodle XML Szókitöltő WebCT Aszalós L. (DEIK) Feladatok generálása 2018/10/4 16 / 23

Elvi problémák jó megoldás generálása probléma megoldása (algoritmus, szoftver) rossz megoldás generálása más feladat jó megoldása jó megoldás elrontása (manuális) rossz, de hihető megoldás generálása???? Aszalós L. (DEIK) Feladatok generálása 2018/10/4 17 / 23

XML generálása korábbi (Clojure) Aszalós L. (DEIK) Feladatok generálása 2018/10/4 18 / 23

XML generálása újabb (Python) Aszalós L. (DEIK) Feladatok generálása 2018/10/4 19 / 23

XML generálása evolúció manuálisan generált, exportált feladatok visszafejtése lxml (Python) XML építése lépésről lépésre feladat: markdown Hiccup (Clojure) HTML generálása sablon segítségével https://github.com/aszalosl/logic-moodle feladat: Clojure adatszerkezet Jinja2 (Python) sablon-rendszer https://github.com/aszalosl/jinja-moodle feladat: YAML (szűkszavú Json) yaml2xml.py: 110 LOC, mcq.j2 sablon: 41 LOC Aszalós L. (DEIK) Feladatok generálása 2018/10/4 20 / 23

YAML minta - mcq kérdésekhez questions: - question: "Mely karaktersorozat illeszkedik... feedback: "akárhány <i>a</i> bet után pont... good: - answer: ab - answer: b hint: "0 darab <i>a</i> bet is megengedett" - answer: aab bad: - answer: ba hint: "<i>b</i> bet re kell végz dnie" Aszalós L. (DEIK) Feladatok generálása 2018/10/4 21 / 23

Tapasztalatok pozitív fogadtatás 81-1194 próbálkozás 140 fős előadáson a vizsga végén már eredmény van hibakeresési verseny a betekintés otthonról is megy olvasható a diák dolgozata (angol képzés) hatékonyabb javítás (csak az esszékkel kell foglalkozni) technikai nehézségek képek automatizált beillesztése MathJax formulák lassú generálása a mobil alkalmazás nem használja a MathJax-ot Aszalós L. (DEIK) Feladatok generálása 2018/10/4 22 / 23

Kérdések? Aszalós L. (DEIK) Feladatok generálása 2018/10/4 23 / 23