Ústav teorie informace a automatizace

Jste zde

Domů

MTR

Winter school of MTR, 2018

February 26 - March 4, Mariánská, Czech Republic

The Winter School of Department of Decision-Making Theory is a popular meeting point of students and researchers from the department and other colaborating researchers from several Czech institutions as well as guests from abroad. It is held in the UTIA's chalet.

The program of the 2018 edition of the MTR Winter School will consist mainly of tutorial talks given by participants.

02.05.2018 - 13:38

Prvořádové vícehodnotové logiky

Zahájení: 
2017
Ukončení: 
2018
Vedoucí: 
Carles Noguera, Ph.D.
Identifikační číslo: 
CONICET-16-04
Typ projektu (EU): 
other
Zaměření projektu.: 
teoretický
Publikace ÚTIA: 
seznam
05.10.2018 - 16:32

Predicate graded logics and their applications to computer science

Zahájení: 
2017
Ukončení: 
2019
Vedoucí: 
Carles Noguera, Ph.D.
Identifikační číslo: 
GA17-04630S
Typ projektu (EU): 
other
Publikace ÚTIA: 
seznam
05.10.2018 - 16:30

Mathematical Fuzzy Logic

Fakulta: 
Filozofická fakulta UK
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
Vyučován: 
Ne

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth theories and challenging problems, thus continuing to attract an ever increasing number of researchers. The goal of this course is to provide an up-to-date introduction to MFL.

25.09.2023 - 20:08

General theories of logical systems

Fakulta: 
Filozofická fakulta UK
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
Vyučován: 
Ne

Algebraic logic is the branch of mathematical logic that studies logical systems by giving them an algebraic semantics. It mainly capitalizes on the standard Linbenbaum–Tarski proof of completeness of classical logic w.r.t. the two-element Boolean algebra, which can be analogously repeated in other logical systems yielding completeness w.r.t. other kinds of algebras.

25.09.2023 - 20:07

PD Dr. Stefan Krömer

Pozice: 
vědecký pracovník
Kontakty
Místnost: 
225
Telefon: 
266053245
Mail: 

Publikace (anglicky)

10.02.2020 - 14:39

11th International Conference on Parametric Optimization and Related Topics

September 19-22, 2017. Prague

In honor of Jiří Outrata's 70th birthday

The international conference series “Parametric Optimization and Related Topics” was founded in 1985 and, since then, took place in different places: the latter seven conferences were held in Enschede (1995), Tokyo (1997), Dubrovnik (1999), Puebla (2002), Cairo (2005), Cienfuegos (2007) and Karlsruhe (2010).

02.05.2018 - 13:38

Prof. RNDr. Jan Kratochvíl, DrSc.

Tato osoba již není zaměstnancem ÚTIA.
Pozice: 
Vědecký pracovník
07.10.2019 - 15:22

Ing. Jan Švorc, Ph.D.

Tato osoba již není zaměstnancem ÚTIA.
Pozice: 
Doktorand
11.02.2020 - 15:34

Stránky

Přihlásit se k odběru RSS - MTR
Institute of Information Theory and Automation