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


ФОРУМ

Список вопросов к экзамену по дисциплине 'Математическая логика и теория алгоритмов'

МИППС, КубГТУ
  • 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.Полнота системы логических функций
  • 26.Критерии полноты Поста - Яблонского
  • 27.Аксиоматические системы, формальный вывод
  • 28.Исчисление высказываний
  • 29.Логическое следование. Принцип дедукции
  • 30.Метод резолюций в исчислении высказываний
  • 31.Предикаты первого порядка
  • 32.Рекурсивные функции

Матлогика (Оглавление)

США: статистические параметры

Кубанские казаки


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

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

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

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

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

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