Методические указания. — Тамбов: Тамбовский государственный технический университет (ТГТУ), 2008. — 20 с. Краткая теория. Примеры выполнения типовых расчётов (12 задач с решением). Варианты заданий. Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Для студентов инженерно-технических...
Методические указания к практическим занятиям. — Омск: Омский государственный технический университет (ОмГТУ), 2005. — 64 с. Алгебра Буля и её модели. Представление булевых функций формулами. Сводка тавтологий. Совершенные формы. Конструирование и упрощение релейно-контактных схем. Логические функции (предикаты) и операции над ними. Общезначимые формулы. Представление формул...
Тверь: Тверской государственный технический университет (ТГТУ), 2003. — 46 с. Настоящие методические указания предназначены для изучения основ математической логики в части логики предикатов, исчисления высказываний и исчисления предикатов. В нем также даны основные определения формальных систем. Логика высказываний и логика предикатов рассматриваются как примеры формальных...
Методические указания для студентов II курса заочного отделения специальности. — Пермь: Пермский государственный технический университет (ПГТУ), 2007. — 48 с. Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примеры решения задач, задачи для самостоятельного решения и список рекомендуемой литературы. Логика...
Наглядное пособие. — Красноярск: Сибирский федеральный университет (СФУ), 2008. — 136 слайдов. Введение. Классическая пропозициональная логика. Позитивная логика. Основные теоремы позитивной логики. Немодальные расширения позитивной логики. Расширение логики Lp с помощью константы ⊥ (абсурд) Расширение логики Lp с помощью связки (отрицание) Трансляции. Свойства некоторых...
Методические указания и контрольные задания. — Ставрополь: Ставропольский государственный аграрный университет (СтГАУ), 2013. — 28 с. Приведены основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений. Предложены варианты контрольных заданий.
Методические указания к практическим занятиям для студентов механико-математического факультета. — Самарский государственный университет, 2000. — 20 с. Методические указания предназначены для студентов 2 курса специальности "математика". Набор задач соответствует программе курса "Математическая логика" и включает в себя темы: Логические формулы. Таблицы значений Эквивалентные...
Методическое пособие по логике. — Ростов-на-Дону: Южный федеральный университет (ЮФУ), 2007. — 42 с. Примеры решения задач по математической логике. Темы пособия: Алгебра высказываний. Исчисление высказываний ИС генценовского типа. Исчисление высказываний ИВ гильбертовского типа. Общезначимость формул. Логические программы.
Волгоград: Волгоградский государственный технический университет (ВолгГТУ). Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний
The Very Short Teach Yourself Logic Guide
Peter Smith. University of Cambridge. pages 100.
The full TYL Study Guide is a hundred page PDF. That’s full of good things, including detailed descriptions of lots of books, including alternative suggestions to the top recommendations. But some readers may just want the unvarnished headline news. So here, excerpted from the current...
Учебное пособие. — Оренбург: Оренбургский государственный университет (ОГУ), 2016. — 98 с. — ISBN: 978-5-7410-1410-3. В практикуме рассмотрены теоретическая справка, примеры решения типовых задач и задания практических работ по разделам: алгебра высказываний, множества, логика предикатов. Практикум предназначен для студентов, обучающихся по программе среднего профессионального...
Методические указания. — Тамбов: Тамбовский государственный технический университет (ТГТУ), 2011. — 16 с. Приведены краткие теоретические сведения, алгоритмы и образцы решения типовых задач и контрольные задания. Предназначены для студентов заочного факультета, изучающих математическую логику и теорию алгоритмов.
Нижний Новгород: Нижегородский государственный университет (НГУ) имени Н.И. Лобачевского, 2000. — 44 с. Методическая разработка предназначена для самостоятельной работы студентов по специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и...
Волгоград: Волгоградский государственный технический университет (ВолгГТУ). Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.
Методические указания к практическим занятиям и выполнению РГР по курсу «Дискретная математика». — Новосибирск: Новосибирский государственный технический университет (НГТУ), 1998. — 62 с. Теория множеств. Переключательные функции. Формальная логика и исчисление высказываний. Логика и исчисление предикатов. Список рекомендуемой литературы.
Владивосток: Владивостокский государственный университет экономики и сервиса (ВГУЭС), 2010. Алгебра высказываний. Исчисления высказываний. Логика предикатов. Исчисление предикатов. Машины Тьюринга.
Нижний Новгород: Нижегородский государственный университет (НГУ) имени Н.И. Лобачевского, 2000. — 44 с. Методическая разработка предназначена для самостоятельной работы студентов специальности «Прикладная информатика» над материалом темы «Концепции конечного автомата и регулярного языка. Операции над регулярными языками», входящей в состав учебного курса «Теория алгоритмов и...
Навчальний посібник. — Вінниця: Вінницький національний технічний університет (ВНТУ), 2010. — 117 с. В навчальному посібнику викладено базові поняття та методи математичної логіки, які використовуються для проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Наведено приклади розв’язання задач з математичної логіки за допомогою...
Практикум. — Уфа: Уфимский государственный авиационный технический университет (УГАТУ), 2013. — 119 с. — ISBN 978-5-4221-0427-7. Изложены основы алгебры высказываний, логики предикатов, теории алгоритмов и методы решения основных типов задач. Все необходимые определения сформулированы в первой части практикума. Приведены примеры решения задач и задания для самостоятельной работы.
Учебное методическое пособие. — Томск: Томский государственный университет систем управления и радиоэлектроники (ТУСУР), 2015. — 80 с. Учебное методическое пособие содержит учебно-методический материал, предусмотренный программами курсов «Математическая логика и теория алгоритмов» для направлений 230100.62 «Информатика и вычислительная техника» и 220400.62 «Управление в...
Методические указания. — Иркутск: Иркутский государственный университет путей сообщения (ИрГУПС), 2015. — 36 с. Методические указания и задание к контрольной работе по дисциплине «Теория дискретных устройств». Рассматриваются вопросы задания и минимизации полностью и не полностью заданных функций алгебры логики при помощи законов алгебры логики, карт Карно, методами Квайна,...
Учебное пособие. — Свердловск: Уральский государственный университет имени А.М. Горького, 1982. — 19 с. Методическая разработка по спецкурсу "Методы решения олимпиадных задач" (для студентов 4 и 5 курсов математико-механического факультета). Настоящая разработка предназначена для семинарских занятий.
Пособие по выполнению лабораторных работ. — М.: Московский государственный технический университет гражданской авиации (МГТУ ГА), 2016. — 12 с. Данное пособие издаётся в соответствии с рабочей программой учебной дисциплины "Математическая логика" по учебному плану для студентов I курса направления 09.03.01 "Информатика и вычислительная техника" очной формы обучения. Нормальные...
Методические указания. — М: МИИТ, 2006. — 28с. Предназначено для студентов специальностей ЭИЭ, АКБ, в учебных планах которых предусмотрена дисциплина «Логика.Теория алгоритмов». Содержит разделы: основные определения и значения, элементарные функции, некоторые свойства элементарных функций, Полнота и замкнутость, Совершенные дизъюнктивные нормальные формы, теорема о полноте и...
Задачник-практикум для студентов физико-математического факультета. — Кызыл: Тувинский государственный университет (ТувГУ), 2018. — 100 с. Задачник-практикум предназначен для студентов педагогических университетов, изучающих математическую логику. Внимание уделено четырем разделам: алгебра логики, исчисление высказываний, логика предикатов, математические теории....
Практикум. — Нижнекамск: Казанский национальный исследовательский технологический университет (КНИТУ) — филиал в г. Нижнекамск, 2016. — 49 с. В данном учебном пособии содержатся краткие теоретические сведения по разделам математической логики и индивидуальные задания для самостоятельной работы студентов. Приводятся варианты с решениями. Предназначены для студентов, обучающихся...
Методическое пособие (2-я редакция). — Город и издательство не указаны. — 2017. — 5 с. Приводится простейший пример применения метода выделения переменных, предложенного в феврале 1979 года в ведущем советском техническом журнале "Автоматика и телемеханика" для решения логических уравнений или sat задачи (sat problem). В процессе решения небольшой по объему исходной системы...
Методические рекомендации по решению задач. — Тамбов: Тамбовский государственный технический университет, 2023. — 32 с. Содержат основные положения требований к информационным системам, типовые требования и показатели качества, типовую номенклатуру показателей, вариант реализации оценки качества программного продукта. Предназначены для самостоятельной работы студентов 2 курса...
Методические указания. — Нижнекамск: Казанский национальный исследовательский технологический университет (КНИТУ), Нижнекамский химико-технологический институт (НХТИ) - филиал, 2016. — 60 с. В работе приводятся основные базовые понятия по разделам математической логики. Излагаемый материал сопровождается примерами и дополняется упражнениями. Методические указания могут быть...
Учебное пособие. — М.: Ваш формат, 2020. — 86 с. — ISBN 978-5-00147-218-6. В пособии содержится описание пяти лабораторных работ по курсу «Математическая логика и теория алгоритмов». В каждой работе дано краткое изложение теоретических основ и особенностей выполнения работы. Материал пособия позволяет самостоятельно разобраться в исследовании и построении логических и...
Учебное пособие. — Красноярск: Красноярский государственный университет, 1998. — 59 с. Цель предлагаемого учебного пособия - ознакомить читателя с методами математической логики высказываний. Подробно, на содержательных примерах, описаны логические связки: отрицание, конъюнкция и т.д. Рассмотрена проблема разрешимости. Показано применение логики высказываний к выявлению...
Комментарии