Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

Multimédiás eszközök a logika és a mesterséges intelligencia kurzusokon

Tanszéki szeminárium, 2014. április 23.
by

Dániel Koós

on 23 April 2014

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of Multimédiás eszközök a logika és a mesterséges intelligencia kurzusokon

Multimédiás eszközök a logika és a mesterséges intelligencia kurzusokon
Koós Dániel
2014. április 23.
Motiváció
Technológia mindenütt
TV, számítógép, okostelefon, táblagép
internet
Itt az Y és már a Z generáció is:
"digitális bennszülöttek"
"kütyüfüggő, internet mellett felnőtt, 'multitaszkolós', nyíltan kommunikáló korosztály"
15-20 percnél tovább nem szeretnek egy dologra koncentrálni
az órai munka, a tanári magyarázat sem köti le a figyelmüket, helyette az okostelefonjukat/táblagépüket
nyomkodják
Használjuk azokat az eszközöket a tanórán is, amiket ők is használnak!
Tiltás helyett alkalmazkodjunk az új generáció érdeklődéséhez: használjuk mi is a generáció kedvenc multimédiás eszközeit!
Hogyan lehetne a hallgatók érdeklődését jobban felkelteni a számítástudomány iránt?
Elektronikus tananyagok
Interaktív, vizualizációs eszközök
Online kurzusok
és oktatási anyagok
a papír alapú jegyzetek digitális másai
széles körben elterjedt formátumban készülnek (HTML, PDF, EPUB), ezért
szinte minden eszközön megtekinthetőek
statikus, nem interaktív tartalom
könyvek, jegyzetek, feladatgyűjtemények
algoritmus animáció
gyakorló rendszerek
programvizualizáció
algoritmusok működésének, adattípusok felépítésének grafikus megjelenítése
összetett folyamatok egyszerűbben megérthetőek animációk használatával, mint statikus képek sorozatával
A szóban közölt információk vizuális eszközökkel (képek, animációk, videók) történő kiegészítése megkönnyíti a tananyag megértését és rögzülését.
Ha a szóbeli közlést vizuális illusztrációval egészítjük ki, azzal nagyobb hatást tudunk elérni, mintha csak szóban történne az információközlés
(többszörös ábrázolás elve)
.
A magyarázattal egyidőben jelenítsük meg a hozzá kapcsolódó szöveges és képi információkat
(egyidejűség elve)
.
A képi magyarázat mellé élőszóban adjuk a szóbelit, ne pedig írásban, mert a képi és írott szöveg együtt túlterheli a vizuális csatornát
(megosztott figyelem elve)
.
Richard E. Mayer:
Cognitive Theory of Multimedia Learning
viszonylag egyszerűen, gyorsan elkészíthetőek
nem testreszabhatóak, nehezen vezérelhetőek
Ronald M. Baecker:
Sorting Out Sorting
Algo-Rythmics project
Néptánc segítségével bemutatott algoritmusok gyűjteménye
Webes animáció és gyakorlási, önellenőrzési lehetőség
Algoritmusok hatékonyságának összehasonlítása
Sorting Algorithm Animation
http://www.sorting-algorithms.com/
BALSA
SAMBA
JAWAA
SWAN
Mac, PASCAL,
"interesting events"
TANGO
ANIMAL
Probléma:
Többféle, eltérő (főként Java) implementáció
Régóta nem fejlesztik tovább
Általában csak egy rögzített problémára próbálható ki
Nem mindig lehet irányítani az animációt
Modern eszközökön nem használhatóak
Megoldás:
modern webes eszközök használata
interaktív funkciók beépítése
paraméterek módosíthatósága
visszacsatolás
egy program futása során kezelt adatszerkezetek megjelenítése
segíthet a programozás tanításában, tanulásában és a hibakeresésben, hibakezelésben
Jeliot 3
GraphTree
GraphHeap
VisualGraph
LJV
az önálló tanulás, gyakorlás és önellenőrzés legmegfelelőbb eszközei
a feladatok önálló megoldása során azonnali visszajelzést nyújt
automatikus problémagenerálás,
automatikus visszajelzés és értékelés
PILOT
TRAKLA2
AnimalSense
Kovásznai Gergely, Kusper Gábor: MULTIMÉDIA A MESTERSÉGES INTELLIGENCIA OKTATÁSÁBAN
AgriaMédia 2004 konferenciakötete, Kötet II., 367-372, 2004.
Tarski's World
FOLST: A Didactic Tool to Support First Order Logic Semantics Learning
Farm
World
Logikai oktatóprogramok
Formulák implementálása
ProgCont - Programozó Versenyek
Probléma:
hiányoznak a bevezető, alapozó fogalmakhoz tartozó vizuális, interaktív eszközök
LMS, LCMS, PLE
SCORM
CS381 Discrete Structures/Discrete Mathematics Web Course Material
http://www.cs.odu.edu/~toida/nerzic/content/web_course.html
Interaktív feladatgyűjtemény
(logika, halmazelmélet, rekurzió, relációk, függvények)
Coursera
CS - Artificial Intelligence
Köszönöm a figyelmet!
Online, interaktív környezet a logikaoktatás és -tanulás támogatására
Célkitűzés, megvalósítanó feladatok:
interaktív, webes gyakorló eszközök fejlesztése az informatika logikai alapjai elsajátításának megkönnyítése érdekében
szintaxis:
megadott formula szintaktikai helyességének ellenőrzése
teljes zárójelezés, zárójelelhagyás
szerkezeti fa előállítása
részformulák halmaza, közvetlen részformulák
összetettség, hatókör
szemantika:
igazságtáblázat előállítása
formalizálás
normálformára hozás
prenexizálás
modern webes eszközök felhasználása
egyénenként eltérő feladatok, számonkérések
egyéni és csapatversenyek
felhasználói tevékenység naplózása
összekapcsolás a közösségi oldalakkal a hatékonyabb kommunikáció érdekében
személyre szóló értékelés, visszajelzés a hibákról
Teljesített kurzusok
Oktatómunka
Az informatika logikai alapjai
A mesterséges intelligencia alapjai
Mesterséges intelligencia
Ember-gép kommunikáció technológiájának alapjai

E-kereskedelem
Szemantikus web
Általános kutatási ismeretek

Bizonyításelmélet és alkalmazásai
Számítógéppel támogatott oktatás, kutatás

Adatbányászat
(aktuális félév)
PhD hallgató, Informatikai Tudományok Doktori Iskola
a külső eszközök nem pontosan azt a szintaxist, szemantikát használják, mint amit mi szeretnénk
nem, vagy nehezen testreszabható eszközökről van szó
változótiszta alakra hozás

kötött változó szabályos behelyettesítése

University of Toronto, 1978-1981
Brown Algorithm Simulator and Animator
Mark Brown. Brown University, 1984
John Stasko. Brown University, 1989
POLKA front-end - John Stasko, Brown University, 1990
A NEW INTERACTIVE MODELLER FOR ANIMATIONS IN LECTURES
University of Siegen (1998), Technische Universität Darmstadt, Germany
Java and Web based Algorithm Animation
Susan H. Rodger, Duke University. 2002
Jon Barwise John Etchemendy - http://ggweb.stanford.edu/tarskisworld
1993
http://courses.cs.washington.edu/courses/cse590d/03sp/tarski/tarski.html
Mauco et al. - Universidad Nacional del Centro de la Provincia de Buenos Aires, 2012
http://www.inf.unideb.hu/~aszalos/dn/log/index_hu.htm
Dr. habil. Aszalós László, Debreceni Egyetem Informatikai Kar, 2006
Kádek Tamás
https://www.inf.unideb.hu/progcont/
http://www.inf.unideb.hu/~kadek/formula-evaluation.html
Kósa Márk, Pánovics János, Kádek Tamás
Tóth-Mózer Szilvia: Tartalomelőállítás és tudásmegosztás:
az online tanulási környezet fogalmának alakulása Y generációs pedagógia szakos hallgatóknál
IV. OKTATÁS-INFORMATIKAI kONFERENCIA, 2012

Barok Eszter: X- és Y-generációs szakadékok: vajon te “a generációdnak megfelelően” kommunikálsz? (2011)
http://barokeszter.hu/2011/01/07/x-es-y-generacios-szakadekok-vajon-te-a-generaciodnak-megfeleloen-kommunikalsz/
Stina Bridgeman: Graph Drawing in Education.
Handbook of Graph Drawing and Visualization
Roberto Tamassia, Editor
CRC Press
June 24, 2013
http://cs.brown.edu/~rt/gdhandbook/chapters/education.pdf
http://www.youtube.com/playlist?list=PLVext98k2evhetSt39PbWnvXi-qRX5EsV
http://cs.joensuu.fi/jeliot/
www.graphviz.org/‎
https://www.cs.auckland.ac.nz/~j-hamer/LJV.html
http://www.cs.usfca.edu/~galles/visualization/
Guido Rößling et al.: AnimalSense: combining automated exercise evaluations with algorithm animations. ITiCSE '11 Proceedings of the 16th annual joint conference on Innovation and technology in computer science education, 2011
http://www.cse.hut.fi/en/research/SVG/TRAKLA2/
http://aispace.org/
Ryan Shaun Baker:
PILOT: An Interactive Tool for Learning and Grading
Senior Thesis, Presented May 1, 2000
Brown University
Mayer, R. E. (2001). Multimedia Learning. New York: Cambridge University Press.
http://algo-rythmics.ms.sapientia.ro/
2007
2008
Virginia Tech | http://research.cs.vt.edu/AVresearch/Swan/
2006
Full transcript