K-INFO
HU
EN
Belépés

Mesterséges intelligencia logikai módszerei

Logical Methods in Artificial Intelligence
A tantárgyleírás hatályossága
Hatályosság kezdete:
—
Hatályosság vége:
—
Tantárgy neve (magyarul, angolul)
Mesterséges intelligencia logikai módszerei
Logical Methods in Artificial Intelligence
Tantárgykód BMETE91AM19
Tantárgyjelleg —
Képzési szint —
Kurzustípusok és óraszámok (heti/féléves)
Kurzustípus elmélet gyakorlat laboratóriumi gyakorlat
óraszám (heti) 2 0 0
jelleg (kapcsolt/önálló) — — —
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 2
Tantárgyfelelős
DR. Simon András
beosztás: egyetemi docens
Tantárgyat gondozó oktatási szervezeti egység
Algebra Tanszék
Kar Természettudományi Kar
Tantárgy weboldala —
Tantárgy elsődleges mintatantervi jellege —
Közvetlen előkövetelmények – Erős előkövetelmény BMEVISZA213 (Algoritmuselmélet), BMETE91AM08 (Informatika 1)
Közvetlen előkövetelmények – Gyenge előkövetelmény nincs
Közvetlen előkövetelmények – Párhuzamos előkövetelmény nincs
Közvetlen előkövetelmények – Mérföldkő előkövetelmény nincs
Közvetlen előkövetelmények – Kizáró feltétel nincs

Célkitűzés

TTK Matematika (BSc) képzés Alkalmazott szakirányának kötelező tárgya

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Nincs megadva.

Tanulástámogató anyagok

Tankönyvek
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y., Reasoning About Knowledge, MIT Press, 1995
Online források
http://bme.hu; http://telefon.eik.bme.hu/; http://www.bme.hu; http://www.ttk.bme.hu/allaspalyazatok#overlay-context=; http://physics.bme.hu/

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
nincs
Általános szabályok
Szorgalmi időszak: Az órákon való részvétel, az aláírás megszerzése Vizsgaidőszak: Szóbeli vizsga Pótlás/javítás: A Tanulmányi és vizsgaszabályzat szerint Konzultáció: Számonkérés előtt szervezett konzultációk, egyéni konzultációk fogadóórákon
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Szóbeli vizsgaelem
Szóbeli vizsga
Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak

Nincs megadva.

A tantárgy elvégzéséhez szükséges tanulmányi munka
Leírás óra / félév
részvétel a kontakt tanórákon 28
további, a teljesítéshez szükséges munkaidő ráfordítás 7
vizsgára készülés 25
összesen 60
Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.