jedna skupina:
Turingovsky vypočítateľné funkcie ( + príklad )
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF
priklad- prevod AD do AJ
Turingovsky vypočítateľné funkcie ( + príklad )
Algebra logiky a problém funkcionálnej úplnosti. Algebra boolovských funkcií BF a problém funkcionálnej úplnosti BF
priklad- prevod AD do AJ