Téma:Algorithm to generate operations in many-valued logic
Vedoucí:Milan Petrík; Garant:
Vypsáno jako:Diplomová práce,Bakalářská práce
Oponent:Mirko Navara
Popis:The aim is a program admitting the study of fuzzy conjunctions with values in a finite set of truth values.
Pokyny:Write an implementation of the algorithm described in "Rees
coextensions of finite, negative tomonoids" in C or in C++. The output of the
program shall be a text file describing all the possible fuzzy conjunctions up
to the given size. An important part of the implementation is an optimization
of the code. The program is supposed to be run on the Linux operating system.
Literatura:H.T. Nguyen and E. Walker. A First Course in Fuzzy Logic. Chapman & Hall/CRC, Boca Raton, 2nd edition, 2000. M. Petrík and T. Vetterlein: Rees coextensions of finite, negative tomonoids. Journal of Logic and Computation, 2015.
Realizace:code in C or C++
Vypsáno dne:04.03.2016