Класична задача дискретної математики — мінімізація диз'юнктивної нормальної форми у формалізмі реляційних схем

Wednesday 24 Mar 2021, 17:00 → 18:00 Europe/Kiev

https://us02web.zoom.us/j/84322131944?pwd=a2pwRVFkWUsvdWRyRUdqNHZTNmNtZz09 (ONLINE)

Ігор Ткачев

В доповіді буде розглянута класична задача дискретної математики — мінімізація диз'юнктивної нормальної форми на основі формалізму реляційних схем. Буде показано що задача побудови мінімальної диз'юнктивній нормальної форми відповідає задачі побудові системи реляційних схем, що породжує задану мову у вигляді об'єднання множин спроможних розміток цих схем.