PhD témakiírás
Tudományterület
(matematika, fizika, nukleáristechnika):
|
Matematika és számítástudomány
|
|
A PhD téma címe:
A kidolgozandó feladat
részletezése:
|
|
Az algebrai logikán belül
az elsőrendű logika algebraizálása lehetővé teszi mind a
bizonyításelméleti mind
pedig a modellelméleti problémák absztrak algebrai módszerekkel való
vizsgálatát illetve az eredeti eredmények különböző algebrai
általanosításait. A cilindrikus algebrák elmélete ezen algebraizálás egy
lehetséges és széles körben vizsgált változata. A cilindrikus algebrai modellelmélet által
felvetett egyik fontos probléma a klasszikus elemi modellfogalom olyan
valódi általánosításainak létezésére és leírására vonatkozik, melyek a
klasszikus modellek alapvető jellemzőiből a lehető legtöbbet őrzik meg. A
doktorandusz feladata az ilyen általánosítások vizsgálata.
|
|
A jelentkezővel szemben
támasztott elvárások:
|
|
Matematikus végzettség,
matematikai logika iránt való érdeklődés
|
|
A doktori munka
készítésének helye és címe:
|
|
Budapesti Műszaki és
Gazdaságtudományi Egyetem, Matematika Intézet, Algebra Tanszék
1111 Budapest, Egry
József u. 1. H ép.
|
|
A témavezető adatai
|
|
|
|
|
|
|
E-mail: sereny@math.bme.hu
|
|
A tanszéki témavezető
adatai (ha a téma kiírója külső
intézmény dolgozója)