Professional Documents
Culture Documents
Logika S Tudom Nyelm Let MA 2
Logika S Tudom Nyelm Let MA 2
Jelek, rövidítések:
D = dolgozat
G = gyakorlati jegy
K = kollokvium
Sz = szigorlat
V = vizsga
Z = szakzáróvizsga
kon = konzultáció
k = kötelező tanegység
kv = kötelezően választható tanegység
v = választható tanegység
– Kódszám zárójel nélkül: erős előfeltétel, tehát legkésőbb a kurzus felvételét megelőző
félévben kell eredményesen elvégezni.
– Kódszám zárójelben: gyenge előfeltétel, tehát legkésőbb a kurzus felvételével azonos
félévben kell eredményesen elvégezni.
– Kódszám egyenlőségjellel: a megadott kurzus párhuzamos felvételét javasoljuk.
– * : Az alapozó képzés tárgyainak elvégzése után vehető fel a tárgy.
LOGIKA ÉS TUDOMÁNYELMÉLET
MESTERKÉPZÉSI SZAK (MA)
1
A mesterfokozat megszerzéséhez összegyűjtendő kreditpontok száma:
120 kreditpont
Nyelvi követelmények:
A mesterfokozat megszerzéséhez egy államilag elismert, felsőfokú (C1), komplex típusú
nyelvvizsga, vagy azzal egyenértékű érettségi bizonyítvány, illetve oklevél szükséges, vagy
egy további, az alapfokozat megszerzéséhez szükséges nyelvvizsga nyelvétől eltérő nyelvből
államilag elismert, középfokú (B2), komplex típusú nyelvvizsga, vagy azzal egyenértékű
érettségi bizonyítvány, illetve oklevél szükséges.
MA szakzárás követelményei:
A szakzáróvizsga szóbeli számonkérésből áll.
A vizsga leghangsúlyosabb része a diplomamunka védése. A hallgatóknak bizonyítaniuk kell,
hogy elsajátították a képesítési követelmények és a tanterv által előírt legfontosabb
ismereteket, és hogy téziseiket szóban is árnyaltan és szabatosan tudják kifejteni.
A diplomamunka védésén túl a szakzáróvizsga a szak két előzetesen kijelölt, a hallgató által
korábban már teljesített kollokvium anyagának átfogó mozgósítását térképezi fel.
2
A szakzáróvizsga értékelése:
Az értékelés ötfokú osztályzással történik. A vizsgáztatók értékelik a hallgató diplomamunka
témájához kapcsolódó tudományterületeken való jártasságát, valamint szakmai felkészültségét
és a tudományos diskurzusra való képességét.
AZ OKLEVÉL MINŐSÍTÉSE:
Az oklevél minősítését a diplomamunkára kapott és a szakzáróvizsgán megszerzett
érdemjegyek számtani átlaga adja, egész számra kerekítve.
SZAKFELELŐS OKTATÓ:
Dr. Máté András tanszékvezető egyetemi docens
3
TANEGYSÉGLISTA
Mintatanterv
min. – max.
Előfeltétel
Értékelés
Óraszám
Köt. vál.
formája
Kredit
féléve
Félév
Kód Meghirdetésért
Tanegység neve
BMA- felelős tanszék
4
A logika alkalmazásai I. (4 kredit)*:
Bizonyításelmélet, logikai
LOTD-311 3-4 K kv 45 4 4 Logika
programozás
LOTD-312 Nem-standard analízis 3-4 K kv 45 4 4 Logika
Az általános
LOTD-313 relativitáselmélet logikai 3-4 K kv 45 4 4 Logika
megalapozása
A logika alkalmazásai II. (4 kredit)*:
Statikus és dinamikus
LOTD-321 3-4 K kv 45 4 3 Logika
jelentéselméletek
A matematika megalapozása
elsőrendű logikában és a
LOTD-322 3-4 K kv 45 4 3 Logika
magasabbrendű alapozás
körüli viták
Halmazelmélet és a matematika alapjai (4 kredit)*:
Axiomatikus
halmazelméletek: a
LOTD-331 3-4 K kv 45 4 3 Logika
Zermelo-Fraenkel 203
halmazelmélet alternatívái
A körben forgás feloldása a
LOTD-332 matematika 3-4 K kv 45 4 3 Logika
203
megalapozásában
Paradoxonok, cirkularitás,
LOTD-333 3-4 K kv 45 4 3 Logika
jólfundáltság 203
Algebra és logika (4 kredit)*:
LOTD-341 Algebrai logika 3-4 G kv 45 4 3 Logika
104
Strukturalizmus, kategória-
LOTD-342 3-4 G kv 45 4 3 Logika
elmélet és algebrai logika 104
Az elsőrendű logika kibővítései (4 kredit)*:
Abszolútságelmélet,
LOTD-351 3-4 G kv 45 4 4 Logika
abszolút logikák 203
Definicióelmélet és
kiterjesztései.
LOTD-352 3-4 G kv 45 4 4 Logika
Tudományelméleti
alkalmazások.
LOTD-353 Kiszámíthatóság 3-4 G kv 45 4 4 Logika
Mai matematikafilozófiák (4 kredit)*:
A matematika fizikalista
LOTD-361 3-4 G kv 45 4 4 Logika
értelmezése
LOTD-362 Frege-aritmetika 3-4 G kv 45 4 4 Logika
Összesen: 315 28
*A témakör tanegységei közül egy elvégzése kötelező!
5
jelentéselméletek
A matematika megalapozása
elsőrendű logikában és a
LOTD-322 3-4 K kv 45 4 3 Logika
magasabbrendű alapozás
körüli viták
Összesen: 315 28
*A témakör tanegységei közül egy elvégzése kötelező!
6
IV. SZABADON VÁLASZTHATÓ TANTÁRGYAK: 6 KREDIT
A szabadon választható 6 kredit a Karon BMVD- kóddal meghirdetett, illetve a meghirdető
tanszékkel egyeztetve bármely más MA kurzussal teljesíthető.