Institute of Information Theory and Automation

You are here

MTR

First-order many-valued logics

Start: 
2017
End: 
2018
Identification Code: 
CONICET-16-04
Project Type (EU): 
other
Project Focus: 
teoretický
Publications ÚTIA: 
list
2018-10-05 16:32

Predicate graded logics and their applications to computer science

Start: 
2017
End: 
2019
Identification Code: 
GA17-04630S
Project Type (EU): 
other
Publications ÚTIA: 
list
2018-10-05 16:30

Mathematical Fuzzy Logic

Faculty: 
Filozofická fakulta UK
Course type: 
bakalářský
magisterský
Semester: 
letní
Current: 
Ano
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.
2018-02-23 09:40

General theories of logical systems

Faculty: 
Filozofická fakulta UK
Course type: 
bakalářský
magisterský
Semester: 
letní
Current: 
Ano
Algebraic logic is the branch of mathematical logic that studies logical systems by giving them 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.
2018-02-23 09:39

PD Dr. Stefan Krömer

Position: 
research associate
Kontakty
Room: 
Phone: 
266053245
Mail: 
Publications ÚTIA: 
list
2017-03-16 17:37

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).

2018-05-02 13:38

Prof. RNDr. Jan Kratochvíl, DrSc.

Position: 
research associate
Kontakty
Mail: 
Publications ÚTIA: 
list
2017-01-30 12:33

Ing. Jan Švorc

Position: 
Ph.D student
Kontakty
Room: 
Phone: 
266052421
Mail: 
Publications ÚTIA: 
list
Podrobnosti o doktorském studiu
Type of study: 
kombinované
Name of Work: 
Determinants of subjective well-being in Czech Republic
Name of Work (CS): 
Determinanty subjektivního pocitu štěstí v České republice
Faculty: 
Fakulta Managementu VŠE
Thema of Study (CS): 
Management
Beginning of Study: 
2015-09-19
2018-05-30 10:28

4th Workshop on Variational Analysis and Optimization

Workshop on Variational Analysis and Optimization is an annual workshop organized by members of the Czech Academy of Sciences. It is an informal meeting of people interested in various topics of optimization theory. It combines a mathematical program in the afternoon/evening with a free program in the morning/early afternoon, when one can enjoy the beautiful scenery, go hiking, skiing or just discuss mathematics. Because of its location on the Czech-German border, it is suited mainly for Czech and German researchers.

2018-05-02 13:38

Pages

Subscribe to RSS - MTR