Математическая логикаЗадачаИРНИТУ
Готовая работа по математической логике и теории алгоритмов включает четыре задачи с решениями. В первой нужно найти функцию f(x,y), полученную из g(x) и h(x,y,z) по схеме примитивной рекурсии. Во второй — получить функции из заданной числовой функции f(x1,…,xn) с помощью минимизации по каждой переменной. Третья задача посвящена построению машины Тьюринга, применимой ко всем словам x1x2…xn в алфавите {a,b} и переводящей их в слово α по условию: a при n<4, исходное слово при n>3; отдельно проверяется работа машины на словах. Четвёртая — построение машины Тьюринга для числовой функции f(x,y), равной x при чётном x и y при нечётном x, с проверкой на наборах значений. В комплект входят docx-файлы с решениями по рекурсивным функциям и машинам
Математическая логикаКонтрольная работаИРНИТУ
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов» (ИРНИТУ), вариант 13. Задания представлены с решениями. Тематика: проверка формулы на тавтологию, противоречие или выполнимость — построением таблицы истинности и равносильными преобразованиями; формализация высказываний; проверка корректности рассуждений; выяснение, является ли формула логическим следствием набора посылок; нахождение множества истинности предиката на конечном множестве; изображение множеств истинности предикатов на координатной прямой и определение их тождественной истинности или ложности; чтение формул логики предикатов на естественном языке. Отдельно раскрыто сведение формул к множествам дизъюнктов: элиминация импликации, протаскивание отрицаний, разделение связанных переменных, приведение к предварённой форме, сколемизация. По каждому пункту приведены выполненные выкладки.
Математическая логикаПрактические заданияТГУ Росдистант
Комплект готовых практических заданий по учебному курсу «Математическая логика, алгебра и теория чисел» (Тольяттинский государственный университет, система «Росдистант») включает пять работ, выполненных по первому варианту. В заданиях разбираются темы, связанные с системами линейных уравнений и методами линейной алгебры. В первой задаче требуется доказать совместность системы и решить её тремя способами: по формулам Крамера, методом Гаусса и средствами матричного исчисления. Для этого составляются основная и расширенная матрицы, находятся их ранги, на основании сравнения рангов и числа переменных делается вывод о совместности системы и о бесконечном множестве её решений, после чего решение доводится до конца с выделением свободной переменной и последовательным нахождением неизвестных. Вторая задача посвящена исследованию системы линейных однородных уравнений и поиску её общего решения: также сопоставляются ранги основной и расширенной матриц, устанавливается совместность и бесконечность множества решений, приводится решение преобразованной системы. Работа оформлена по стандартному шаблону с титульными листами практических заданий и решениями, изложенными по шагам. Материал подойдёт для подготовки, самопроверки и разбора типовых расчётов по дисциплине.
