Навигација

проф. др Татјана Лутовац

Ванредни професор
Катедра за примењену математику

Зграда техничких факултета, канцеларија 99

011/3218-316
Стручни назив/спремадоктор наука - математичке науке
Ужа научна областПримењена математика
Датум избора у звање 30. септембар 2013.

Предмети

Библиографија

Радови у часописима

    The natural algorithmic approach of mixed trigonometric-polynomial problems

    DOI10.1186/s13660-017-1392-1
    ЧасописJournal of Inequalities and Applications
    Година2017
    АуториТатјана Лутовац, Бранко Малешевић и Cristinel Mortici
    Волумен2017
    Број116
    Страна од1
    Страна до16

    Refinements and generalizations of some inequalities of Shafer-Fink's type for the inverse sine function

    DOI10.1186/s13660-017-1554-1
    ЧасописJOURNAL OF INEQUALITIES AND APPLICATIONS
    Година2017
    АуториБранко Малешевић, Марија Рашајски и Татјана Лутовац
    Волумен2017
    Број275
    Страна од1
    Страна до9

    A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules

    ЧасописCOMPUTER SCIENCE AND INFORMATION SYSTEMS - COMSIS
    Година2013
    АуториТатјана Лутовац и James Harland
    Волумен10
    Број3
    Страна од1185
    Страна до1210

    Razvoj dijagnostičkog sistema za putne prelaze sa računarskim upravljačkim sistemima

    ЧасописINFO M
    Година2012
    АуториТатјана Лутовац и Dejan Lutovac
    Волумен44/2012
    Број44
    Страна од11
    Страна до17

    Detecting Loops During Proof Search in Propositional Affine Logic

    ЧасописJOURNAL OF LOGIC AND COMPUTATION
    Година2006
    АуториТатјана Лутовац и James Harland
    Волумен16
    Број1
    Страна од61
    Страна до134

    A Redundancy Analysis of Sequent Proofs

    ЧасописLECTURE NOTES IN COMPUTER SCIENCE
    Година2005
    АуториТатјана Лутовац и James Harland
    Волумен3702
    Страна од76
    Страна до90

    Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic

    ЧасописLECTURE NOTES IN COMPUTER SCIENCE
    Година2000
    АуториJames Harland, Татјана Лутовац и Michael Winikoff
    Волумен1861
    Страна од254
    Страна до268

Остали радови

    An approach to automated reparation of failed proof attempts in propositional linear logic sequent calculus

    Година2012
    АуториТатјана Лутовац
    Страна од64
    Страна до69

    Some Contributions to Compact Representation of Sequent Proofs

    Година2011
    АуториТатјана Лутовац
    Страна од72
    Страна до75

Књиге и библиографије

    Линеарна алгебра

    ИздавачАкадемска Мисао
    ISBN978-86-7466-680-7
    Година2017
    АуториМарија Рашајски, Бранко Малешевић, Татјана Лутовац, Бојана Михаиловић и Ненад Цакић
    Тип књигеуџбеник
    Број страна362

    Збирка задатака из алгебре (I део)

    ИздавачАкадемска Мисао
    ISBN86-7466-259-5
    Година2006
    АуториПетар Васић, Братислав Иричанин, Мирко Јовановић, Бранко Малешевић, Татјана Лутовац, Бојана Михаиловић, Зоран Радосављевић, Слободан Симић и Драгош Цветковић
    Тип књигепомоћни уџбеник

Пројекти

Оптимизација перформанси енергетски-ефикасних рачунарских и комуникационих система

Тип пројектаНаука – технолошки развој
ФинансијерМИНИСТАРСТВО ЗА НАУКУ И ТЕХНОЛОШКИ РАЗВОЈ
Почетак реализације07.03.2011.