Institute of Information Theory and Automation

MTR

First-order many-valued logics

Project leader: Carles Noguera, Ph.D.
Department: MTR
Supported by (ID): CONICET-16-04
Grantor: Internal promotion of international cooperation AVČR
Duration: 2017 - 2018

Predicate graded logics and their applications to computer science

Project leader: Carles Noguera, Ph.D.
Department: MTR
Supported by (ID): GA17-04630S
Grantor: Czech Science Foundation
Duration: 2017 - 2019

Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics

Project leader: Carles Noguera, Ph.D.
Department: MTR
Grantor: Foreign Grantor
Duration: 2016 - 2019
More info: here

Mathematical Fuzzy Logic

Oddělení: 
MTR
Fakulta: 
Filozofická fakulta UK
Přednášející: 
Vyučován: 
Ano
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
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.

General theories of logical systems

Oddělení: 
MTR
Fakulta: 
Filozofická fakulta UK
Přednášející: 
Vyučován: 
Ano
Typ kurzu: 
bakalářský
magisterský
Semestr: 
letní
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. Abstract algebraic logic (AAL) determines what are the essential elements in these proofs and develops an abstract theory of the possible ways in which logical systems can be related to an algebraic counterpart.

Krömer

Jméno: 
Stefan
Titul před jménem: 
PD Dr.
Oddělení: 
MTR
Stefan Kromer
Pozice anglicky: 
research associate
Pozice česky: 
Vědecký pracovník
Kontakty
Místnost: 
225
Linka: 
3245
Mail: 
skroemer
List of publications
Podrobnosti (česky): 
Přepínače
Aktivní: 
Ano
Zobrazit literaturu: 
Ano
Foto veřejné: 
Ano
Doktorand: 
Ne
Zahrnout do papírového seznamu: 
Ano

11th International Conference on Parametric Optimization and Related Topics

ParaoptXI

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

Kratochvíl

Jméno: 
Jan
Titul před jménem: 
Prof. RNDr.
Titul za jménem: 
DrSc.
Oddělení: 
MTR
Pozice anglicky: 
research associate
Pozice česky: 
Vědecký pracovník
Kontakty
Mail: 
kratochvil
Přepínače
Aktivní: 
Ano
Zobrazit literaturu: 
Ano
Foto veřejné: 
Ne
Doktorand: 
Ne
Zahrnout do papírového seznamu: 
Ano

Švorc

Jméno: 
Jan
Titul před jménem: 
Ing.
Oddělení: 
MTR
Pozice anglicky: 
Ph.D student
Pozice česky: 
Doktorand
Kontakty
Místnost: 
73
Linka: 
2421
Mail: 
svorc3
Doména mailu: 
seznam.cz
Podrobnosti o doktorském studiu
Školitel: 
Typ studia: 
kombinované
Téma práce (anglicky): 
Determinants of subjective well-being in Czech Republic
Téma práce (česky): 
Determinanty subjektivního pocitu štěstí v České republice
Fakulta: 
Fakulta Managementu VŠE
Obor (česky): 
Management
Začátek studia: 
19.09.2015
Přepínače
Aktivní: 
Ano
Zobrazit literaturu: 
Ano
Foto veřejné: 
Ano
Doktorand: 
Ano
Zahrnout do papírového seznamu: 
Ne

Workshop on Variational Analysis and Optimization

Mariánská - zimní pohled

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.

Syndicate content
Institute of Information Theory and Automation