Vizsgafeladatok és gyakorló feladatok generálása
|
|
|
- Krisztián Benjámin Németh
- 5 évvel ezelőtt
- Látták:
Átírás
1 Vizsgafeladatok és gyakorló feladatok generálása Aszalós László Debreceni Egyetem, Informatikai Kar október 4. Aszalós L. (DEIK) Feladatok generálása 2018/10/4 1 / 23
2 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
3 Két irányzat: manuális, generált Aszalós L. (DEIK) Feladatok generálása 2018/10/4 3 / 23
4 pre-moodle Offline és online használat végtelen sok feladat HTML + JavaScript Aszalós L. (DEIK) Feladatok generálása 2018/10/4 4 / 23
5 Logikai fogalmak - Igazságtábla Aszalós L. (DEIK) Feladatok generálása 2018/10/4 5 / 23
6 Informatikai algoritmusok: rendezés, keresés, gráfok Aszalós L. (DEIK) Feladatok generálása 2018/10/4 6 / 23
7 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
8 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
9 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
10 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
11 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
12 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 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
13 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
14 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
15 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
16 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
17 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
18 XML generálása korábbi (Clojure) Aszalós L. (DEIK) Feladatok generálása 2018/10/4 18 / 23
19 XML generálása újabb (Python) Aszalós L. (DEIK) Feladatok generálása 2018/10/4 19 / 23
20 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 feladat: Clojure adatszerkezet Jinja2 (Python) sablon-rendszer 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
21 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
22 Tapasztalatok pozitív fogadtatás 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
23 Kérdések? Aszalós L. (DEIK) Feladatok generálása 2018/10/4 23 / 23
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
ÍTÉLETKALKULUS SZINTAXIS ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA) jelkészlet elválasztó jelek: ( ) logikai műveleti jelek: ítéletváltozók (logikai változók): p, q, r,... ítéletkonstansok: T, F szintaxis szabályai
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 4. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Logika és informatikai alkalmazásai kiskérdések február Mikor mondjuk, hogy az F formula a G-nek részformulája?
,,Alap kiskérdések Logika és informatikai alkalmazásai kiskérdések 2012. február 19. 1. Hogy hívjuk a 0 aritású függvényjeleket? 2. Definiálja a termek halmazát. 3. Definiálja a formulák halmazát. 4. Definiálja,
1. Definíciók. 2. Formulák. Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat
Informatikai logikai alapjai Mérnök informatikus 3. gyakorlat 1. Definíciók A feladatokban bevezetünk két újabb logikai konstanst: a és jellel jelölteket. Ez a két konstans önmagában is formulának tekintendő.
A logikai következmény
Logika 3 A logikai következmény A logika egyik feladata: helyes következtetési sémák kialakítása. Példa következtetésekre : Minden veréb madár. Minden madár gerinces. Minden veréb gerinces 1.Feltétel 2.Feltétel
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 6. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
2. Logika gyakorlat Függvények és a teljes indukció
2. Logika gyakorlat Függvények és a teljes indukció Folláth János Debreceni Egyetem - Informatika Kar 2012/13. I. félév Áttekintés 1 Függvények Relációk Halmazok 2 Természetes számok Formulák Definíció
Ismeretellenőrzés a Moodle rendszerben. Dr. Orbán Anna BCE
Ismeretellenőrzés a Moodle rendszerben Dr. Orbán Anna BCE Bemutatkozás 29 éves oktatási tapasztalat Ebből 24 év felsőoktatásban, informatikai tantárgyak oktatása nem informatikusoknak Oktatócsomag: jegyzet,
Logika es sz am ıt aselm elet I. r esz Logika M asodik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Második előadás Tartalom 2/26 Ítéletlogika - Szemantika (folytatás) Formulák és formulahalmazok szemantikus tulajdonságai Szemantikus következményfogalom Formalizálás
1. Logikailag ekvivalens
Informatikai logikai alapjai Mérnök informatikus 4. gyakorlat 1. Logikailag ekvivalens 1. Az alábbi formulák közül melyek logikailag ekvivalensek a ( p p) formulával? A. ((q p) q) B. (q q) C. ( p q) D.
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
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
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 * Pannon Egyetem, M szaki Informatikai Kar, Számítástudomány
Logika es sz am ıt aselm elet I. r esz Logika Hatodik el oad as 1/33
1/33 Logika és számításelmélet I. rész Logika Hatodik előadás Tartalom 2/33 Elsőrendű rezolúciós kalkulus - előkészítő fogalmak Prenex formula, Skolem normálforma 3/33 Eldönthető formulaosztályok keresése
Az informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Formulahalmaz kielégíthetősége Ezen az előadáson Γ-val egy elsőrendű logikai nyelv
Az informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Az elsőrendű logikai nyelv interpretációja L interpretációja egy I-vel jelölt függvénynégyes,
Logika es sz am ıt aselm elet I. r esz Logika Negyedik el oad as 1/26
1/26 Logika és számításelmélet I. rész Logika Negyedik előadás Tartalom 2/26 Az elsőrendű logika szemantikája Formulák és formulahalmazok szemantikus tulajdonságai Elsőrendű logikai nyelv interpretációja
3. Az ítéletlogika szemantikája
3. Az ítéletlogika szemantikája (4.2) 3.1 Formula és jelentése minden ítéletváltozó ( V v ) ha A JFF akkor A JFF ha A,B JFF akkor (A B) JFF minden formula előáll az előző három eset véges sokszori alkalmazásával.
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeş-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület
Logikai ágensek. Mesterséges intelligencia március 21.
Logikai ágensek Mesterséges intelligencia 2014. március 21. Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok
AZ INFORMATIKA LOGIKAI ALAPJAI
AZ INFORMATIKA LOGIKAI ALAPJAI Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 4. gyakorlat Interpretáció A ϱ függvényt az L (0) = LC, Con, Form nulladrendű nyelv egy
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 9. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Egy HF múlt hétről HF1. a) Egyesíthető: s = [y/f(x,
1. Tétel - Az ítéletkalkulus alapfogalmai
A tételhez hozzátartozik az elsőrendű nyelv szemantikája! 1. Tétel - Az ítéletkalkulus alapfogalmai Ítéletkalkulus - Az elsőrendű logika azon speciális este, amikor csak 0 ad rendű predikátumszimbólumok
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ó 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
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ó 2012 1. Definíciók 1. Adja meg a klasszikus nulladrendű nyel definícióját! Klasszikus nulladrendű nyelen az L (0) = LC, Con, F orm rendezett hármast értjük,
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2011 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Matematikai logika NULLADRENDŰ LOGIKA
Matematikai logika NULLADRENDŰ LOGIKA Kijelentő mondatokhoz, melyeket nagy betűkkel jelölünk, interpretáció (egy függvény) segítségével igazságértéket rendelünk (I,H). Szintaxisból (nyelvtani szabályok,
Magyarok: Bereczki Ilona, Kalmár László, Neumann, Péter Rózsa, Pásztorné Varga Katalin, Urbán János, Lovász László
MATEMATIKAI LOGIKA A gondolkodás tudománya Diszkrét matematika Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey,
Diszkrét matematika MATEMATIKAI LOGIKA
NULLADRENDŰ LOGIKA (ÍTÉLETKALKULUS) A logikát, mint a filozófia egy részét, már az ókori a görög tudósok is igen magas szinten művelték, pl. Platón (Kr. e. 427- Kr. e. 347), Arisztotelész (Kr.e. 384- Kr.
Kétszemélyes játékok
Mesterséges Intelligencia alapjai, gyakorlat Eötvös Loránd Tudományegyetem Informatikai Kar Programozáselmélet és Szoftvertechnológiai Tanszék 2010 / udapest Kétszemélyes teljes információjú játékok két
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ó.
MATEMATIKAI A gondolkodás tudománya Arisztotelész(i.e. 384-311) Boole, De Morgan, Gödel, Cantor, Church, Herbrand, Hilbert, Kleene, Lukesiewicz, Löwenheim, Ackermann, McKinsey, Tarski, Ramsey, Russel,
Mesterséges Intelligencia MI
Mesterséges Intelligencia MI Keresés ellenséges környezetben Dobrowiecki Tadeusz Eredics Péter, és mások BME I.E. 437, 463-28-99 dobrowiecki@mit.bme.hu, http://www.mit.bme.hu/general/staff/tade Ellenség
Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák
08EMVI3b.nb 1 In[2]:= Theorema Ítéletlogika 1 Ismétlés Szintaxis Szemantika Logikai következmény, tautológia, inkonzisztens, logikai ekvivalencia, normálformák 2 Kalkulusok Kalkulus Levezethetõség Dedukciós
Problémamegoldás kereséssel. Mesterséges intelligencia március 7.
Problémamegoldás kereséssel Mesterséges intelligencia 2014. március 7. Bevezetés Problémamegoldó ágens Kívánt állapotba vezető cselekvéseket keres Probléma megfogalmazása Megoldás megfogalmazása Keresési
Bizonytalanság. Mesterséges intelligencia április 4.
Bizonytalanság Mesterséges intelligencia 2014. április 4. Bevezetés Eddig: logika, igaz/hamis Ha nem teljes a tudás A világ nem figyelhető meg közvetlenül Részleges tudás nem reprezentálható logikai eszközökkel
SZOFTVERES SZEMLÉLTETÉS A MESTERSÉGES INTELLIGENCIA OKTATÁSÁBAN _ Jeszenszky Péter Debreceni Egyetem, Informatikai Kar jeszenszky.peter@inf.unideb.
SZOFTVERES SZEMLÉLTETÉS A MESTERSÉGES INTELLIGENCIA OKTATÁSÁBAN _ Jeszenszky Péter Debreceni Egyetem, Informatikai Kar jeszenszky.peter@inf.unideb.hu Mesterséges intelligencia oktatás a DE Informatikai
Kereső algoritmusok a diszkrét optimalizálás problémájához
Kereső algoritmusok a diszkrét optimalizálás problémájához A. Grama, A. Gupta, G. Karypis és V. Kumar: Introduction to Parallel Computing, Addison Wesley, 2003. könyv anyaga alapján A kereső eljárások
Algoritmuselmélet 1. előadás
Algoritmuselmélet 1. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu 2002 Február 11. ALGORITMUSELMÉLET 1. ELŐADÁS 1 Források
Algoritmusok és adatszerkezetek II.
Algoritmusok és adatszerkezetek II. Horváth Gyula Szegedi Tudományegyetem Természettudományi és Informatikai Kar horvath@inf.u-szeged.hu 6. Ugrólista (Skiplist) Definíció. Olyan adatszerkezet, amelyre
Tippek és trükkök Moodle számonkérés készítéséhez Tips and tricks for making examination in Moodle
Tippek és trükkök Moodle számonkérés készítéséhez Tips and tricks for making examination in Moodle A. VÁMOSI Debreceni Egyetem, Műszaki Kar, Műszaki Alaptárgyi Tanszék, vamosi.attila@eng.unideb.hu Absztrakt.
Felmentések. Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21
Felmentések Logika (1. gyakorlat) 0-adrendű szintaktika 2009/10 II. félév 1 / 21 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
Mesterséges Intelligencia MI
Mesterséges Intelligencia MI Kényszerkielégítési problémák (Constraint Satisfaction Problem, CSP) http://mialmanach.mit.bme.hu/aima/ch05 Pataki Béla BME I.E. 414, 463-26-79 pataki@mit.bme.hu, http://www.mit.bme.hu/general/staff/pataki
OpenQAsS. Nyílt forráskódú minőségbiztosítási eszköztár európai szakképző intézmények számára 2014-1-HU01-KA202-002356
Nyílt forráskódú minőségbiztosítási eszköztár európai szakképző intézmények számára ERASMUS+ Stratégiai Partnerség 2014-2017 Szükséglet-felmérés Tanári kérdőív itstudy Hungary Kft. Gödöllő, 2016. február
Az értékelés során következtetést fogalmazhatunk meg a
Az értékelés során következtetést fogalmazhatunk meg a a tanuló teljesítményére, a tanulási folyamatra, a célokra és követelményekre a szülők teljesítményére, a tanulási folyamatra, a célokra és követelményekre
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2008 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Ugrólisták. RSL Insert Example. insert(22) with 3 flips. Runtime?
Ugrólisták Ugrólisták Ugrólisták Ugrólisták RSL Insert Example insert(22) with 3 flips 13 8 29 20 10 23 19 11 2 13 22 8 29 20 10 23 19 11 2 Runtime? Ugrólisták Empirical analysis http://www.inf.u-szeged.hu/~tnemeth/alga2/eloadasok/skiplists.pdf
2. Ítéletkalkulus szintaxisa
2. Ítéletkalkulus szintaxisa (4.1) 2.1 Az ítéletlogika abc-je: V 0 V 0 A következő szimbólumokat tartalmazza: ítélet- vagy állításváltozók (az állítások szimbolizálására). Esetenként logikai változónak
Más ez a teszt. Absztrakt
Más ez a teszt Készítették: Dr. Seres György, dr. Miskolczi Ildikó, Tibenszkyné dr. Fórika Krisztina, Szegediné Lengyel Piroska, Kis Márta, Pálinkás Yvette Absztrakt Mit kell tudnom? Mit akarok tudni?
Kereső algoritmusok a diszkrét optimalizálás problémájához
Kereső algoritmusok a diszkrét optimalizálás problémájához A. Grama, A. Gupta, G. Karypis és V. Kumar: Introduction to Parallel Computing, Addison Wesley, 2003. könyv anyaga alapján A kereső eljárások
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.
Algoritmuselmélet NP-teljes problémák Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem 13. előadás Katona Gyula Y. (BME SZIT) Algoritmuselmélet
Az informatika logikai alapjai
Az informatika logikai alapjai Várterész Magda DE, Informatikai Kar PTI BSc és informatikatanár hallgatók számára 2017. Példák Az alábbi világokban állításokat akarunk megfogalmazni: A táblára színes karikákat
SZAKKÉPZÉSI KERETTANTERV a(z) 55 213 05 MULTIMÉDIA-ALMAZÁSFEJLESZTŐ SZAKKÉPESÍTÉS-RÁÉPÜLÉSHEZ
SZAKKÉPZÉSI KERETTANTERV a(z) 55 213 05 MULTIMÉDIA-ALMAZÁSFEJLESZTŐ SZAKKÉPESÍTÉS-RÁÉPÜLÉSHEZ I. A szakképzés jogi háttere A szakképzési kerettanterv a nemzeti köznevelésről szóló 2011. évi CXC. törvény,
A klubnap fő témája: Alapozás
Dr. Angster Erzsébet angster.erzsebet@t-logic.hu A klubnap fő témája: Alapozás BRMS definíciója, jellemzői, fajtái BRMS használatának előnyei, várt eredmények, azok mérése BRMS használatának kihívásai,
Szakdolgozat egy fejezetének tartalomjegyzéke
Szakdolgozat egy fejezetének tartalomjegyzéke 2. A tanulásszervezés módszerei és eszközei a Moodle keretrendszerben... 2 2. 1. Tartalomkezelés... 2 2. 1. 1. Szöveges oldal hozzáadása... 2 2. 1. 2. Weboldal
H5P az e-learning kurzusokban és web oldalakon használható multimédiás szerzői rendszer
H5P az e-learning kurzusokban és web oldalakon használható multimédiás szerzői rendszer dr. Molnár Tamás, Debreceni Egyetem, METK Multimédiás elemek alkalmazásának előnyei: Gondolkodás típusok vizuális
Matematikai logika. Nagy Károly 2009
Matematikai logika előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2009 1 1. Elsőrendű nyelvek 1.1. Definíció. Az Ω =< Srt, Cnst, F n, P r > komponensekből álló rendezett négyest elsőrendű
SAT probléma kielégíthetőségének vizsgálata. masszív parallel. mesterséges neurális hálózat alkalmazásával
SAT probléma kielégíthetőségének vizsgálata masszív parallel mesterséges neurális hálózat alkalmazásával Tajti Tibor, Bíró Csaba, Kusper Gábor {gkusper, birocs, tajti}@aries.ektf.hu Eszterházy Károly Főiskola
Diszkrét matematika I.
Diszkrét matematika I. középszint 2014. ősz 1. Diszkrét matematika I. középszint 2. előadás Mérai László diái alapján Komputeralgebra Tanszék 2014. ősz Matematikai logika Diszkrét matematika I. középszint
PANNON EGYETEM Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék
PANNON EGYETEM Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék Folyamatbányászati eszközök felhasználása irányítási folyamatok elemzéséhez Starkné dr. Werner Ágnes Dulai Tibor
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.
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. Az eredménye, ezek után a számításelélet részből elért eredmény
Diszkrét matematika I. gyakorlat
Vizsgafeladatok megoldása 2012. december 5. Tartalom Teljes feladatsor #1 1 Teljes feladatsor #1 2 Teljes feladatsor #2 3 Teljes feladatsor #3 4 Teljes feladatsor #4 5 Válogatott feladatok 6 Végső bölcsesség
Gépi tanulás. Hány tanítómintára van szükség? VKH. Pataki Béla (Bolgár Bence)
Gépi tanulás Hány tanítómintára van szükség? VKH Pataki Béla (Bolgár Bence) BME I.E. 414, 463-26-79 pataki@mit.bme.hu, http://www.mit.bme.hu/general/staff/pataki Induktív tanulás A tanítás folyamata: Kiinduló
Algoritmuselmélet 1. előadás
Algoritmuselmélet 1. előadás Katona Gyula Y. Budapesti Műszaki és Gazdaságtudományi Egyetem Számítástudományi Tsz. I. B. 137/b kiskat@cs.bme.hu 2002 Február 11. ALGORITMUSELMÉLET 1. ELŐADÁS 1 Források
Moodle 3.x - egy kiforrott elearning rendszer?
Moodle 3.x - egy kiforrott elearning rendszer? Papp Gyula papp.gyula@consedu.hu Consedu Vágvölgyi Csaba vagvolgyi.csaba@consedu.hu Consedu/Debreceni Egyetem MoodleMoot 2016 konferencia Óbudai Egyetem,
Adatszerkezetek 1. előadás
Adatszerkezetek 1. előadás Irodalom: Lipschutz: Adatszerkezetek Morvay, Sebők: Számítógépes adatkezelés Cormen, Leiserson, Rives, Stein: Új algoritmusok http://it.inf.unideb.hu/~halasz http://it.inf.unideb.hu/adatszerk
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 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 1.1. A szakképesítés azonosító száma: 54 523 05 1.2. Szakképesítés
A matematika alapjai. Nagy Károly 2014
A matematika alapjai előadások összefoglalója (Levelezős hallgatók számára) Nagy Károly 2014 1 1. Kijelentés logika, ítéletkalkulus 1.1. Definíció. Azokat a kijelentő mondatokat, amelyekről egyértelműen
A TANTÁRGY ADATLAPJA
A TANTÁRGY ADATLAPJA 1. A képzési program adatai 1.1 Felsőoktatási intézmény Babeș Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika Kar 1.3 Intézet Magyar Matematika és Informatika Intézet 1.4
Megkülönböztetett kiszolgáló routerek az
Megkülönböztetett kiszolgáló routerek az Interneten Megkülönböztetett kiszolgálás A kiszolgáló architektúrák minősége az Interneten: Integrált kiszolgálás (IntServ) Megkülönböztetett kiszolgálás (DiffServ)
1/12. 3. gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI
/ Operációkutatás. gyakorlat Lineáris Programozási feladatok megoldása szimplex módszerrel Pécsi Tudományegyetem PTI Normál feladatok megoldása szimplex módszerrel / / Normál feladatok megoldása szimplex
1. gyakorlat. Mesterséges Intelligencia 2.
1. gyakorlat Mesterséges Intelligencia. Elérhetőségek web: www.inf.u-szeged.hu/~gulyasg mail: gulyasg@inf.u-szeged.hu Követelmények (nem teljes) gyakorlat látogatása kötelező ZH írása a gyakorlaton elhangzott
SZÁMÍTÁSTUDOMÁNY ALAPJAI
SZÁMÍTÁSTUDOMÁNY ALAPJAI INBGM0101-17 Előadó: Dr. Mihálydeák Tamás Sándor Gyakorlatvezető: Kovács Zita 2017/2018. I. félév 2. gyakorlat Az alábbi összefüggések közül melyek érvényesek minden A, B halmaz
Nagy Gábor compalg.inf.elte.hu/ nagy ősz
Diszkrét matematika 1. középszint 2016. ősz 1. Diszkrét matematika 1. középszint 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján Komputeralgebra
INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI
1. oldal, összesen: 6 oldal INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI A vizsga formája Középszinten: gyakorlati és szóbeli. Emeltszinten: gyakorlati és szóbeli. Az informatika érettségi vizsga
Véletlenszám generátorok és tesztelésük. Tossenberger Tamás
Véletlenszám generátorok és tesztelésük Tossenberger Tamás Érdekességek Pénzérme feldobó gép: $0,25-os érme 1/6000 valószínűséggel esik az élére 51% eséllyel érkezik a felfelé mutató oldalára Pörgetésnél
Logika es sz am ıt aselm elet I. r esz Logika 1/36
1/36 Logika és számításelmélet I. rész Logika 2/36 Elérhetőségek Tejfel Máté Déli épület, 2.606 matej@inf.elte.hu http://matej.web.elte.hu Tankönyv 3/36 Tartalom 4/36 Bevezető fogalmak Ítéletlogika Ítéletlogika
A félév során előkerülő témakörök
A félév során előkerülő témakörök rekurzív algoritmusok rendező algoritmusok alapvető adattípusok, adatszerkezetek, és kapcsolódó algoritmusok dinamikus programozás mohó algoritmusok gráf algoritmusok
MTA SZTAKI HBIT szakmai gyakorlatok 2014 nyár
Jelentkezés, kapcsolat MTA SZTAKI HBIT szakmai gyakorlatok 2014 nyár Tartalomjegyzék Jelentkezés, kapcsolat...1 Webes fejlesztési feladatok...2 WiFi eszközregisztrációs weblap kialakítása...2 Kiterjesztés
Grafikonok automatikus elemzése
Grafikonok automatikus elemzése MIT BSc önálló laboratórium konzulens: Orosz György 2016.05.18. A feladat elsődleges célkitűzései o eszközök adatlapján található grafikonok feldolgozása, digitalizálása
Ésik Zoltán (SZTE Informatikai Tanszékcsoport) Logika a számtastudományban Logika és informatikai alkalmazásai Varterész Magdolna, Uni-Deb
Logika, 5. Az előadásfóliák ÉsikZoltén (SZTE InformatikaiTanszékcsoport) Logikaa szamtastudomanyban Logikaes informatikaialkalmazasai Előadásai alapján készültek Ésik Zoltán (SZTE Informatikai Tanszékcsoport)
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 2. gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Irodalom Szükséges elmélet a mai gyakorlathoz Előadás
Deníciók és tételek a beugró vizsgára
Deníciók és tételek a beugró vizsgára (a szóbeli viszgázás jogáért) Utolsó módosítás: 2008. december 2. 2 Bevezetés Számítási problémának nevezünk egy olyan, a matematika nyelvén megfogalmazott kérdést,
2004/2005 Logikai alapok a programozáshoz. (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin
2004/2005 Logikai alapok a programozáshoz (Kidolgozott vizsgakérdések) Előadó: Pásztorné Dr. Varga Katalin 1. Tétel Mi a logika, ezen belül a matematikai logika tárgya és feladata? Milyen nyelvi eszközöket
Logika feladatgyűjtemény
Debreceni Egyetem Informatikai Kar Logika feladatgyűjtemény 2005. május 19. Készítette: Lengyel Zoltán lengyelz@inf.unideb.hu Tartalomjegyzék 1. Ítéletlogika 2 2. Elsőrendű logika 17 2.1. Prenex alak......................................
Moodle 3.5 és egyéb újdonságok Vágvölgyi Csaba - Papp Gyula
Moodle 3.5 és egyéb újdonságok Vágvölgyi Csaba - Papp Gyula MoodleMoot 2018 konferencia Debreceni Egyetem, 2018. október 4-5. Moodle fejlesztések az elmúlt 2 évben Több, mint 2 év telt el az utolsó Moot
A kompetencia alapú matematika oktatás. tanmenete a 9. osztályban. Készítette Maitz Csaba
A kompetencia alapú matematika oktatás tanmenete a 9. osztályban Készítette Maitz Csaba Szerkesztési feladatok 1. Síkgeometriai alapfogalmak 2. Egyszerűbb rajzok, szerkesztések körző, vonalzó használata
Logika és informatikai alkalmazásai. Wednesday 17 th February, 2016, 09:03
Logika és informatikai alkalmazásai Wednesday 17 th February, 2016, 09:03 A logika rövid története 2 A logika rövid története Ókor Triviális: A trivium szóból származik trivium (tri+via = három út): nyelvtan,
Abszolútértékes egyenlôtlenségek
Abszolútértékes egyenlôtlenségek 575. a) $, $ ; b) < - vagy $, # - vagy > 4. 5 576. a) =, =- 6, 5 =, =-, 7 =, 4 = 5; b) nincs megoldás;! c), = - ; d) =-. Abszolútértékes egyenlôtlenségek 577. a) - # #,
Logika és informatikai alkalmazásai
Logika és informatikai alkalmazásai 1. levelezős gyakorlat Németh L. Zoltán http://www.inf.u-szeged.hu/~zlnemeth SZTE, Informatikai Tanszékcsoport 2009 tavasz Követelmények A tárgy (ea+gyak) teljesítésének
E-LEARNING ALAPÚ TÁVOKTATÁS A SZÉCHENYI ISTVÁN EGYETEMEN
E-LEARNING ALAPÚ TÁVOKTATÁS A SZÉCHENYI ISTVÁN EGYETEMEN E-LEARNING BASED DISTANCE EDUCATION AT SZÉCHENYI ISTVÁN UNIVERSITY Nyéki Lajos, nyeki@sze.hu Széchenyi István Egyetem 1. Bevezetés A Széchenyi István
1/ gyakorlat. Lineáris Programozási feladatok megoldása szimplex módszerrel. Pécsi Tudományegyetem PTI
/ Operációkutatás. gyakorlat Lineáris Programozási feladatok megoldása szimplex módszerrel Pécsi Tudományegyetem PTI /. Legyen adott az alábbi LP-feladat: x + 4x + x 9 x + x x + x + x 6 x, x, x x + x +
AZ INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI
AZ INFORMATIKA ÉRETTSÉGI VIZSGA ÁLTALÁNOS KÖVETELMÉNYEI A vizsga formája Középszinten: gyakorlati és szóbeli Emeltszinten: gyakorlati és szóbeli Az informatika érettségi vizsga célja Az informatika érettségi
INFORMATIKAI ALAPISMERETEK
ÉRETTSÉGI VIZSGA 2006. május 18. INFORMATIKAI ALAPISMERETEK EMELT SZINTŰ ÍRÁSBELI VIZSGA 2006. május 18. 14:00 I. Időtartam: 60 perc Pótlapok száma Tisztázati Piszkozati OKTATÁSI MINISZTÉRIUM Informatikai
Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése
Intervenciós röntgen berendezés teljesítményszabályozójának automatizált tesztelése Somogyi Ferenc Attila 2016. December 07. Szoftver verifikáció és validáció kiselőadás Forrás Mathijs Schuts and Jozef
TANTÁRGYI ÚTMUTATÓ. Könyvvezetési ismeretek. tanulmányokhoz
I évfolyam Gazdálkodás és menedzsment szak BA TANTÁRGYI ÚTMUTATÓ Könyvvezetési ismeretek tanulmányokhoz TÁVOKTATÁS 2014/2015 II. félév A KURZUS ALAPADATAI Tárgy megnevezése: Könyvvezetési ismeretek Tanszék:
INFORMATIKA OKTATÁS ISKOLÁNKBAN
INFORMATIKA OKTATÁS ISKOLÁNKBAN Iskolánkban az idegen nyelv emelt szintű oktatása mellett az informatika oktatása is emelt szinten történik. Amit kínálunk: a Helyi Kerettanterv alapján megvalósuló emelt
Elsőrendű logika. Mesterséges intelligencia március 28.
Elsőrendű logika Mesterséges intelligencia 2014. március 28. Bevezetés Ítéletkalkulus: deklaratív nyelv (mondatok és lehetséges világok közti igazságrelációk) Részinformációkat is kezel (diszjunkció, negáció)
ELTE TTK Multimédiapedagógia és Oktatástechnológia Központ Budapest, Pázmány P. sétány 1. TANULÓI ÚTMUTATÓ
TANULÓI ÚTMUTATÓ Kedves Hallgató! Légy üdvözölve az ELTE TTK Multimédia és Pedagógia c. távoktatási programjában! Tananyagunk segítségével a legkorszerűbbnek tartott, kevert típusú oktatási formában sajátíthatod
Matematikai modellezés
Matematikai modellezés Bevezető A diasorozat a Döntési modellek című könyvhöz készült. Készítette: Dr. Ábrahám István Döntési folyamatok matematikai modellezése Az emberi tevékenységben meghatározó szerepe