Зачет по дисциплине: Математическая логика и теория алгоритмов. Семестр 3-й.

Цена:
49 руб.

Состав работы

material.view.file_icon 09AE66E1-A368-4051-98BA-CABBC4342B2D.zip [136 KB]
material.view.file_icon course205 - 2379_20 - Математическая логика и теория алгоритмов - 3 сем - Зач - Иванов П.Ю. ПБТ-22.doc [299 KB]

Необходимые программы

Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

20. Переведите данное рассуждение в логическую символику и проверьте его правильность
Иванов не сделает эту работу, если ее сделает Петров. Петров и Сидоров сделают эту работу в том и только том случае, если ее сделает Иванов. Сидоров, эту работу сделает, а Иванов нет. Следовательно, Петров не сделает эту работу.

Дополнительная информация

2013

Похожие материалы

Зачет по дисциплине: Математическая логика и теория алгоритмов
2. Является ли следующее рассуждение верным? Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийство произошло после полуночи. Если убийство произошло после полуночи, то либо Смит был убийцей, либо Джон лжет. Следовательно, убийцей был Смит.
ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Зачетная
User vohmin : 3 июня 2018
50 руб.
Зачет по дисциплине: Математическая логика и теория алгоритмов. Билет № 26
26. Проверьте правильность рассуждений: Если он принадлежит к нашей компании, то он храбр и на него можно положиться. Он не принадлежит к нашей компании. Значит, он не храбр или же на него нельзя положиться.
СибГУТИ Математическая логика и теория алгоритмов Работа Зачетная
User wwwqw124 : 8 января 2015
150 руб.
Зачет по дисциплине: Математическая логика и теория алгоритмов. Вопрос №7
Вопрос №7 Задание. Являются ли формулами ИВ выражения: e) &(A&B)C-D f) (A&B)->C g) (A->->B)->(C->-D)
СибГУТИ Логика Работа Зачетная
User Jack : 28 ноября 2014
50 руб.
Зачет по дисциплине Математическая логика и теория алгоритмов. Вопрос 42
Минимизировать функцию. 3,y = 6; 2,х=4; 5,иначе
Математический анализ ******* Не известно Работа Зачетная
User ru0lr : 28 октября 2014
125 руб.
Зачет по дисциплине: Математическая логика и теория алгоритмов. Задание 30
30. Минимизировать функцию: f (x,y)= {3, 2<=y<=6; x+1, иначе Уважаемый слушатель, дистанционного обучения, Оценена Ваша работа по предмету: Математическая логика и теория алгоритмов Вид работы: Зачет Оценка:Зачет
******* Не известно Математика Работа Зачетная
User Alekt25 : 2 июля 2014
100 руб.
Зачет по дисциплине: Математическая логика и теория алгоритмов. Задание № 23
Задание 23 по мат логике. 23. Является ли следующее рассуждение верным? Если бы он ей не сказал, она ни за что не узнала бы. А не спроси она его, он бы и не сказал ей. Но она узнала. Значит, она его спросила. Зачет с первого раза, без пересдач. Работа оформлена по всем требованиям преподавателя.
СибГУТИ Логика Работа Зачетная
User Nosferato : 18 сентября 2012
150 руб.
Математическая логика и теория алгоритмов
Задача 1 Построить таблицу истинности логической формулы. Задача 2 Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции Если Оля продолжит смотреть аниме, то друзья не помогут с учебой и ее отчислят из вуза. Друзья помогли Оле с учебой, и Оля продолжает учиться в вузе. Значит, Оля не смотрит больше аниме. Задача 3 В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразован
******* Не известно Математическая логика и теория алгоритмов Работа Контрольная
User Илья272 : 24 мая 2021
1200 руб.
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
1)Проверить полноту системы логических функций, используя критерий Поста. Заполнение таблицы Поста должно быть обоснованным. Если система не полна, то достроить ее до полной. К системе добавить функции {0, 1, } (константу 0, константу 1, отрицание) Из полученного множества функций выбрать все полные подсистемы. (5б.) 2)Когда у меня есть свободное время, я читаю книги. Если книга попадается скучная, я засыпаю. Сегодня у меня есть свободное время и мне посоветовали интересную книгу. Значит, сегодн
Работа Расчетно-графическая ******* Не известно Математическая логика и теория алгоритмов
User Aleksey0697 : 19 марта 2019
120 руб.

Другие работы

Применение микропроцессорного контроллера для управления воздушным холодильником газлифтной компрессорной станции
ЗАДАНИЕ НА ДИПЛОМНУЮ РАБОТУ Тема дипломной работы Применение микропроцессорного контроллера для управления воздушным холодильником газлифтной компрессорной станции. 1. Содержание задания на дипломную работу Разработка микропроцессорного контроллера для управления воздушным холодильником газлифтной компрессорной станции. 2. Исходные данные к дипломной работе Нормативные документы. Технический регламент. 3. Перечень графического материала Функциональная схема автоматизации АВО. Принципиал
Диплом и связанное с ним Автоматизация (АСУТП)
User GrantForse : 11 января 2013
200 руб.
«Шифрование в сетях 802.11». Вариант 01. Линии радиосвязи и методы их защиты. (Защита информации в системах беспроводной связи / Беспроводные технологии передачи данных)
Линии радиосвязи и методы их защиты Защита информации в системах беспроводной связи Беспроводные технологии передачи данных «Шифрование в сетях 802.11» Исходные данные: Вариант, XY: 01 Название сети (SSID): sibsutis Аутентификация: WPA-PSK Шифрование: TKIP Пароль к сети (PassPhrase): kursovik01 MAC-адрес точки доступа(шестн.): 000726404eff MAC-адрес клиента (шестн.): 9439e5b014e5 Задание 1 1) Сгенерировать самостоятельно (придумать) последовательности Anonce и Snonce таким образом, чтоб
СибГУТИ Работа Курсовая Линии радиосвязи и методы их защиты
User rmn77 : 8 января 2019
750 руб.
Лабораторные работы №1-3 по дисциплине: Теоретические основы современных технологий беспроводной связи. Вариант №27.
Лабораторная работа No1 По дисциплине: Теоретические основы современных технологий беспроводной связи Пример модели в системе Scicos Цель работы: Ознакомиться со средой моделирования динамических систем Scicos. Научиться создавать простые модели, настраивать их параметры и параметры блоков. Задание: С помощью динамической модели в программе Scicos вычислить значения заданной по варианту функции, построить графики зависимостей на экране осциллографа и графопостроителя. Обеспечить вывод результ
ДО СИБГУТИ Теоретические основы современных технологий беспроводной связи Работа Лабораторная
User teacher-sib : 31 августа 2023
1000 руб.
Лабораторные работы №1-3 по дисциплине: Теоретические основы современных технологий беспроводной связи. Вариант №27. promo
Теплотехника МГУПП 2015 Задача 2.2 Вариант 42
Определить часовой расход воздуха, теплоты и греющего пара в калорифере для установки по сушке молока (рис. 1), если: • температура холодного воздуха, подаваемого в водяной калорифер, tA и его относительная влажность φА; • температура горячего воздуха после калорифера tB; • относительная влажность воздуха после сушильной установки φС; • производительность установки по испаренной влаге П; • давление греющего пара, поступающего в калорифер, р при степени сухости х; • содержание
Задачи Теплотехника
User Z24 : 7 января 2026
200 руб.
Теплотехника МГУПП 2015 Задача 2.2 Вариант 42
up Наверх