Главная
Биография
Научные труды
Дисциплины
Лекции (old)
Программное обеспечение
Дипломники
Материалы студентов
Заметки
Сотрудничество
Патенты
Услуги
Ссылки
Блог
Контакты


ФОРУМ

Вопросы к зачету по Матлогике

  • 1. Алгебра логики. Операции над высказываниями.
  • 2. Совершенная дизъюнктивная нормальная форма.
  • 3. Совершенная конъюктивная нормальная форма.
  • 4. Функции алгебры логики. Равносильность функций.
  • 5. Суперпозиции алгебры логики.
  • 6. Булева алгебра.
  • 7. Приведение формулы к СДНФ
  • 8. Приведение формулы к КДНФ
  • 9. Диаграммы Венна
  • 10. Логика предикатов. Основные положения.
  • 11. История математической логики
  • 12. Законы алгебры множеств
  • 13. Теория множеств. Основные операции на множествах
  • 14. Таблица истинности.
  • 15. Коньюнкция
  • 16.Дизъюнкция
  • 17.Импликация
  • 18.Эквиваленция или равнозначность
  • 19.Понятие алгебры логики
  • 20.Основные логические функции
  • 21.Основные законы алгебры логики
  • 22.Тавтологии. Равносильные формулы
  • 23.Исчисление высказываний
  • 24.Логическое следование. Принцип дедукции
  • 25.Предикаты первого порядка

Переводы статей

Читаемые курсы лекций

Нейросети Искусственный интеллект Методы оптимизации ПИС Сетевая экономика БД МПИ

АСД
ПО ЭИС
НТИС
ФЛП
МатЛогика
Ч.М.Э.
МиИМППР
Интернет-технологии
Web-технологии
Machine Learning

Курсовые работы и проекты
Каталоги научных журналов

Связь (по всем вопросам) с администратором сайта E-mail: sneveld@rambler.ru
При использовании материалов сайта просьба указывать ссылку http://www.shumkoff.ru и первоисточники (если указаны)
Обмен ссылками
Карта сайта