Благодарю за контрольную по логике)
Информация о работе
Подробнее о работе
Контрольная работа по математической логике. 16 задач.
- 15 страниц
- 2012 год
- 1893 просмотра
- 0 покупок
Гарантия сервиса Автор24
Уникальность не ниже 50%
Фрагменты работ
1) Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие.
1) Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие.
16 задач по матлогике.
1) Максимально упростить выражение, воспользовавшись законами логики Буля. С помощью таблиц истинности сравните упрощенное выражение с исходным.
2) Четыре друга – Антонов (А), Вехов (В), Сомов (С), Деев (Д) решили провести каникулы в четырех разных городах – Москве, Одессе, Киеве и Ташкенте. Определите, в какой город должен поехать каждый из них, если имеются следующие ограничения:
Если А не едет в Москву то С не едет в Одессу
Если В не едет ни в Москву ни в Ташкент, то А едет в Москву
Если С не едет в Ташкент, то В едет в Киев
Если Д не едет в Москву, то В не едет в Москву
Если Д не едет в Одессу, то В не едет в Москву
3) Доказать при помощи метода резолюций, что формула G является логическим следствием формул F1…Fn
4) Изобразить на диаграмме Эйлера – Венна область истинности для следующего предиката
5) Построить машину Тьюринга:
Дана конечная последовательность меток, записанных в клетки ленты подряд, без пропусков. Необходимо разработать машину Тьюринга, которая будет записывать в десятичной системе счисления число этих меток. Каретка слева.
И другие.
Форма заказа новой работы
Не подошла эта работа?
Закажи новую работу, сделанную по твоим требованиям
