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