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:

 

Algebrai logika

 
 

 

 


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

Neve: dr. Serény György

 

Tudományos fokozata: PhD

 
 

 

Telefon: 463 56 61

 

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)

Neve:

 

Tudományos fokozata:

 
 

 

Telefon:

 

E-mail: