Технология программирования
Информатика и вычислительная техника
Практикум
  • формат pdf
  • размер 1,22 МБ
  • добавлен 24 ноября 2015 г.
Беляев А.Б. Шошмина И.В. Использование бинарных решающих диаграмм для решения логических задач. Библиотека BuDDy
Санкт-Петербургский государственный политехнический университет, год не указан, 26 стр.
Представление булевых функций в виде бинарных решающих диаграмм
Реализация BDD в библиотеке BuDDy
Программирование в ограничениях
Задача Эйнштейна
Задание на курсовую работу
Варианты задания количества ограничений для курсовой работы