Добавить материал

и получить 10 документов
и свидетельство автора

В обработке
Обложка для материала принцип двойственности для исчисления высказываний
принцип двойственности для исчисления высказываний
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала Полнота исчисления предикатов
Полнота исчисления предикатов
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала полнота исчисления высказываний
полнота исчисления высказываний
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала Нормальные формы для формул алгебры высказываний
Нормальные формы для формул алгебры высказываний
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала нормальные формы в исчислении предикатов
нормальные формы в исчислении предикатов
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала метод резолюций в исчислении высказываний
метод резолюций в исчислении высказываний
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала Логическое следование
Логическое следование
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала Дискретная математика
Дискретная математика
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала выполнимые и общезначимые формулы
выполнимые и общезначимые формулы
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
Опубликовано
Обложка для материала Аксиоматическое система исчисления высказываний
Аксиоматическое система исчисления высказываний
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала аксиоматическая система исчисления предикатов
аксиоматическая система исчисления предикатов
  • Научно-исследовательская работа
  • docx
  • 14.02.2017
Аватар пользователя
В обработке
Обложка для материала Общезначимость и выполнимость формул. Проблема разрешимости.
Общезначимость и выполнимость формул. Проблема разрешимости.
  • Научно-исследовательская работа
  • doc
  • 14.02.2017
Аватар пользователя
Предыдущая
Следующая
Показать еще
Мы используем Cookies

Продолжая использовать наш сайт, вы соглашаетесь с политикой использования Cookies. Это файлы в браузере, которые помогают нам сделать ваш опыт взаимодействия с сайтом удобнее.