ГИЛЕЗАН, Кориолан

ГИЛЕЗАН, Кориолан (Ghilezan, Coriolan), математичар, универзитетски професор (Ечка, 31. X 1929). Дипломирао на Природно-математичком факултету у Београду 1955. Професор математике у гимназији у Зрењанину 1956--1962, када прелази за предавача на Вишу педагошку школу. На Природно-математичком факултету у Београду магистрирао 1967. а докторску дисертацију о неким генерализацијама псеудо-Буловог програмирања одбранио је 1971. Изабран за доцента на Технолошком факултету у Новом Саду 1972. а за редовног професора 1982. на ПМФ у Новом Саду. Главна област његовог научног истраживања су Булове алгебре и дискретна математика. Коаутор је (са Бошком Латиновићем) прве књиге на српском из те области, Булова алгебра и примене (Бг 1977), која је због свог опсега -- од теорије до софтверске и хардверске примене у рачунарству -- имала утицај на генерације студeната рачунарских наука, инжењерства и математике. Један је од зачетника истраживања псеудо-Буловог програмирања и вишезначних логика. Заједно са С. Рудеануом извео интерполациону формулу за дискретне функције која покрива канонску дисјунктивну и конјунктивну нормалну форму и интерполационе форме Пост-Карвала (Post-Carvallo) и Моисила (Moisil). Дао је нову дефиницију парцијалних извода псеудо-Буловових функција и показао да се свака дискретна функција може представити преко њих. Такође се бави диференцијалним рачуном генералисаних псеудо-Буловових функција и иницирао је теорију парцијалних диференцијалних једначина за ову класу функција. Крајем 70-их година држао је предавања о фази скуповима, и тиме представио ову нову област математике у Србији. Цитиран у радовима истакнутих математичара: I. Rosenberg, P. Hammer, F. Robert. Његови резултати су приказани у капиталним монографијама S. Rudeana Boolean Functions and Equations (1974); Lattice Functions and Equations (2013).

ДЕЛА: „Une généralisation du théorème de Loewenheim les équations de Boole", Publ. Inst. Math. (н.с.), 1971, 11, 25; и S. Rudeanu, „Interpolation formulas over finites sets", Publ. Inst. Math. (н.с.), 1979, 25, 39; „Some Fixed Point Theorems in Boolean Algebra", Publ. Inst. Math. (н.с.), 1980, 28, 42; „Les dérivées partielles des fonctions pseudo-booléennes généralisées", Discrete Appl. Math., 1982, 4, 1; „Taylor formula of Boolean and pseudo-Boolean function", ЗРПМФ, 1995, 25, 2.

ЛИТЕРАТУРА: A. Schumann (ур.), Logic in Central and Eastern Europe, Lanham (Marylend) 2012.

А. Николић

*Текст је објављен у 1. књизи III тома Српске енциклопедије (2018)