Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математическая логика и теория алгоритмов.doc
Скачиваний:
0
Добавлен:
01.04.2025
Размер:
4.29 Mб
Скачать

59. Задание {{ 350 }} тз № 350

и предикаты заданные на множестве Д, какие из следующих равенств верно?

60. Задание {{ 351 }} тз № 351

Эквиваленцией двух предикатов и , заданных на одном и том же множестве Д, называется предикат, заданный на том же множестве Д, подмножество истинности которого есть

 пересечение объединений предикатов и и их дополнений;

 объединение пересечений предикатов и и их дополнений

 пересечение объединений подмножеств истинности предикатов и и их дополнений

 объединение пересечений подмножеств истинности предикатов и и их дополнений.

Подмножество истинности предиката

61. Задание {{ 372 }} ТЗ № 372

Подмножеством истинности предиката : «х – простое число», на множестве является .

62. Задание {{ 373 }} ТЗ № 373

Подмножеством истинности предиката : « », на множестве является

63. Задание {{ 374 }} ТЗ № 374

Подмножеством истинности предиката : «х – натуральное число», на множестве является

64. Задание {{ 375 }} ТЗ № 375

Подмножеством истинности предиката : «х – составное число», на множестве является

65. Задание {{ 376 }} ТЗ № 376

Подмножеством истинности предиката : « », на множестве является

66. Задание {{ 377 }} ТЗ № 377

Подмножеством истинности предиката : « », на множестве является .

67. Задание {{ 378 }} ТЗ № 378

Подмножеством истинности предиката : « », на множестве является

68. Задание {{ 379 }} ТЗ № 379

Подмножеством истинности предиката : « », на множестве является

69. Задание {{ 380 }} ТЗ № 380

Подмножеством истинности предиката : « », на множестве является

70. Задание {{ 381 }} ТЗ № 381

Подмножеством истинности предиката : « », на множестве является

Машина Тьюринга Операции над машинами Тьюринга

71. Задание {{ 314 }} ТЗ № 314

Машина Тьюринга задана программой команд

М

0

1

Начальная лента

Машина остановится через … шагов.

 5

 6

 4

 1

72. Задание {{ 315 }} тз № 315

Машина Тьюринга задана программой команд

М

0

1

Начальная лента

Машина остановится через … шагов.

 5

 6

 4

 1.