Математическая логикаКонтрольная работаТУСУР
Контрольная работа № 2 по дисциплине «Математическая логика и теория алгоритмов» (вариант 10). В работе представлены решения заданий на проверку справедливости утверждений для произвольных множеств и анализ истинностного значения логических высказываний при заданных условиях. Рассматриваются примеры с множествами и логическими переменными, демонстрируется применение методов математической логики и теории множеств. Работа содержит решения, включающие логические рассуждения и выводы.
Математическая логикаКонтрольная работаТУСУР
Контрольная работа по дисциплине «Математическая логика», вариант № 5. В работе рассматриваются два задания. Первое посвящено проверке эквивалентности логических формул с использованием свойств операции симметрической разности: коммутативности и ассоциативности. На примере доказательства показано, что формулы переходят друг в друга путём циклического сдвига, что свидетельствует об их эквивалентности. Второе задание — анализ формулы, содержащей три логические переменные, с целью определить, является ли она тавтологией, противоречием или ни тем, ни другим. Для решения последовательно строится таблица истинности. Работа оформлена в текстовом файле, содержит подробные выкладки и пояснения к решению.
Математическая логикаКонтрольная работаТУСУР
Готовая задача по математической логике (ТУСУР), вариант №18. В работе представлено решение трёх заданий. Первое задание — проверка тождества, связанного с симметрической разностью множеств; тождество доказывается двумя способами: через включение элементов и с использованием свойства ассоциативности. Второе задание — определение истинностного значения высказывания при условии, что другое высказывание истинно; решение основано на доказательстве от противного. Третье задание — перевод с естественного языка на формальный (начало решения приведено в файле). Работа оформлена в текстовом документе, содержит подробные пояснения и обоснования.
