József Attila Tudományegyetem - Egyetemi Tanács ülései, 1972-1973, Szeged
Iff \- 3 -készítése külső megbízás alapján./Igények jelentkezésétől függően/. 2/ Halmazelméleti és matematikai logikai kutatások Tárcaszintű /ágazati/ kutatási célprogram a/ A halmazelméleti egyetemi oktatás megfelelő színvonalának biztosításához szükséges tudományos kutatások; regresszív függvények és stabionárius halmazok vizsgálatának folytatása; kombinatorikus halmazelméleti kérdések, halmazelképzelésekkel kapcsolatos problémák vizsgálata; halmazelméleti ideálok, valamint a mértékprofcléma vizsgálata. b/ A matematikai logikai egyetemi oktatási feladatok megfelelő színvonalának biztosításához szükséges tudományos kutatások;végtelen hosszú formulákból álló logikák vizsgálata, különös tekintettel Booleértékü interpretációkra, számosságok kompaktsági tulajdonságainak és azok halmazelméleti következményeinek vizsgálat; rekurzió elméleti vizsgálatok. c/ Az 1. témacsoport keretébenvégzendő tevékenység során felmerülő halmazelméleti és matematikai logikai problémák vizsgálata, elsősorban az algoritmusok elméletére vonatkozó vizsgálatok. 3/ Az automaták algebrai elméletére vonatkozó alapkutatások /Tárcaszintű /ágazati/ kutatási célprogram a/ Automaták kompozícióra és felbontására vonatkozó vizsgálatok, valamint ezek algebrai hátterét képező diszciplínák - nevezetesen félcsoportelmélet, hálóelmélet és univerzális algebra-művelése. Elsősorban a diszkrét automaták összetétele és felbontása egyes elvi kérdéseinek tisztázása és absztrakt algebrai általánoeitása, egybekapcsolva a kutatóhelyen hagyományosan müveit algebrai diszciplínák továbbfejlesztésével, A témacsoportban tervezett alapkutatásoktól elsősorban a matematika belső fejlődése szempontjából várhatók értékes eredmények. A gyakorlattal elsősorban az automataelméletnek és az ezzel kapcsolatos algebrai diszciplínáknak a matematikus- és a tanárképzésben való fontossága révén^fügjgenek össze, mert feltételét képezik a mégfelelő tárgyak színvonalas oktatóénak. Várhatók azonban számos áttételeken keresztül az eredmények ipari, mezőgazdasági stb. felhasználásai is.
