Gurantor department | Department of Computer Science | Credits | 10 |

Subject guarantor | prof. RNDr. Marie Duží, CSc. | Subject version guarantor | prof. RNDr. Marie Duží, CSc. |

Study level | postgraduate | Requirement | Choice-compulsory |

Year | Semester | winter + summer | |

Study language | Czech | ||

Year of introduction | 2010/2011 | Year of cancellation | |

Intended for the faculties | FEI | Intended for study types | Doctoral |

Instruction secured by | |||
---|---|---|---|

Login | Name | Tuitor | Teacher giving lectures |

DUZ48 | prof. RNDr. Marie Duží, CSc. |

Extent of instruction for forms of study | ||
---|---|---|

Form of study | Way of compl. | Extent |

Full-time | Examination | 28+0 |

Part-time | Examination | 28+0 |

The course provides methods of logical analysis of languages.

Seminars

Individual consultations

Students will get acquainted with the problems of logical semantics and knowledge representation. A fine-grained reprezentation of an expression meaning consists in discovering an algorithmically structured procedure, known as TIL construction, represented by the sense of the expression. This analysis must be precise and rigorous in order to be able to infer relevant consequences from given assumptions. Moreover, the analysis results must be formalized in such a way that they can be processed automatically. The students will learn to solve such problems in a way preventing undesirable paradoxes of analysis. Correct analysis is a necessary condition for valid inferences so that it can serve as a base for a fine-grained knowledge reprezentation in knowledge based systems of artifical intelligence. Moreover, such a TIL construction makes it possible to apply methods of automated translation and communication in multi-agent systems.

Duží, M., Jespersen B., Materna, P. (2010): Procedural Semantics for Hyper-intensional Logic. Sprinter.
Duží, M., Materna P.: Constructions. http://til.phil.muni.cz/text/constructions_duzi_materna.pdf

Materna P.: Concepts and Objects. Acta Philosophica Fennica, Vol. 63, Helsinki 1998.
Tichý, P.: The Foundations of Frege's Logic. De Gruyter 1988.

Additional requirements for the student are not.

Subject has no prerequisities.

Subject has no co-requisities.

- TIL Semantic schema, procedural semantics
- Basic definitions; ramified theory of types, constructions
- Method of analysis, Parmenides principle
- Quantifiers (general and existential), restricted quantifiers, singularizers
- Empirical and analytical expressions
- Partiality, compositionality, requisites/prerequisites
- Inference rules, Beta-conversion
- Three kinds of context, substitution method
- Procedural isomorphism
- Logic of attitudes
- Logic of intensions, intensional essentialism
- Theory of concepts, modalities

Task name | Type of task | Max. number of points
(act. for subtasks) | Min. number of points |
---|---|---|---|

Examination | Examination |

Show history

Academic year | Programme | Field of study | Spec. | Zaměření | Form | Study language | Tut. centre | Year | W | S | Type of duty | |
---|---|---|---|---|---|---|---|---|---|---|---|---|

2020/2021 | (P0541D170005) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2020/2021 | (P0541D170005) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2020/2021 | (P0613D140005) Computer Science | K | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2020/2021 | (P0613D140005) Computer Science | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2019/2020 | (P0613D140005) Computer Science | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2019/2020 | (P0541D170005) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2019/2020 | (P0541D170005) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2019/2020 | (P0613D140005) Computer Science | K | Czech | Ostrava | Choice-compulsory type B | study plan | ||||||

2019/2020 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2019/2020 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2019/2020 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2019/2020 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2018/2019 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2017/2018 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2016/2017 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2015/2016 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2014/2015 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | English | Ostrava | Choice-compulsory | study plan | |||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2013/2014 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2012/2013 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2011/2012 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P2646) Information Technology | (1801V002) Computer Science and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P2646) Information Technology | (1801V002) Computer Science and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1801V001) Informatics | K | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | P | Czech | Ostrava | Choice-compulsory | study plan | |||||

2010/2011 | (P1807) Computer Science, Communication Technology and Applied Mathematics | (1103V036) Computational and Applied Mathematics | K | Czech | Ostrava | Choice-compulsory | study plan |

Block name | Academic year | Form of study | Study language | Year | W | S | Type of block | Block owner |
---|