Thesis supervisor: Miklós Ferenczi
Location of studies (in Hungarian): BME TTK Algebra tanszék Abbreviation of location of studies: BME
Description of the research topic:
Mint az elnevezés is mutatja, az Algebrai logika, az Algebra és a Logika (Matematikai logika) határterületén fekvő kutatási terület. Már Boole észrevette a 19.században, hogy a két terület között szoros a kapcsolat. Az algebrai logikában elsősorban azt vizsgálják, hogy miképpen alkalmazhatók algebrai eszközök a logikában, hogyan fordíthatók le logikai problémák algebrai problémákká, illetve fordítva, miképpen alkalmazhatók logikai eszközök az algebrában. Az Univerzális algebra az algebrának az a területe, amely itt elsősorban szerephez jut.
Az algebrai logikai vizsgálatokhoz természetesen jártasság szükséges mind az univerzális algebrában, mind a matematikai logikában. A téma választása esetén, a tanulmányoknak e jártasság megszerzése is célja. A kutatási terület ma már klasszikusnak mondható. Néhány (már nem élő) neves képviselője: Boole,Tarski, Henkin, Halmos, Sikorski.
Required language skills: angol Further requirements: A matematikus szakokon oktatott bevezető Matematikai logika, Halmazelmélet előadások, valamint az (absztrakt) Algebra előadások anyagainak ismerete.
Number of students who can be accepted: 1
Deadline for application: 2014-05-31
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).