Учебное пособие. — М.: МИФИ, 2003. — 199 с. В настоящем учебном пособии изложены основы теории двоичных функций, исчисления предикатов, теории моделей, элементов теории алгоритмов и теории сложности вычислительных задач. Книга предназначена для студентов, специализирующихся в областях, связанных с информационной безопасностью, а также для преподавателей дискретной математики. В...
Киров: Вятский социально-экономический институт (ВСЭИ), 2010. – 14 с. Цель курса: формирование знаний и представлений о понятиях и методах математической логики, ее месте и роли в науке, современной математике и в школьном курсе математики. Задачи курса: - заложить основы логики и исчисления высказываний и предикатов; - дать представление о формальных математических теориях и...
Москва: Институт проблем управления им. В. А. Трапезникова РАН. — 124 с. Логика высказываний. Алгебра высказываний. Исчисление высказываний. Метод дедуктивного вывода. Принцип резолюции. Проблемы исчисления высказываний. Описание высказываний на языке Prolog. Логика предикатов. Алгебра предикатов. Исчисление предикатов. Проблемы в исчислении предикатов. Логическое программирование.
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. — 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания предметной области и получение вывода с помощью метода...
Пермь: Пермский Государственный Технический Университет, 2007. — 49 с. Логика высказываний. Логические исчисления. Логика и исчисление предикатов. Автоматическое доказательство теорем. Теория алгоритмов.
Учебно-практическое пособие. – Комсомольск-на-Амуре: Комсомольский-на-Амуре государственный технический университет, 2003. — 61 с. По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности,...
Оқулық. — Алматы: Дәуір, 2011. — 211 бет. Оқулық мазмұны Қазақстан Республикасында қабылданған математикалық логика пәні бойынша стандартқа сәйкес келеді және университеттердегі және техникалық оқу жоғары оқу орындарда өтетін математикалық логика және дискретті математика пәндерін жүргізуге көмекші оқулық болады деген сенімдеміз. Оқу құралы теориялық материалдармен бірге,...
М.: Московский государственный университет технологий и управления (МГУТУ), 2004. — 36 с. Учебно–практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения. В учебно–практическом пособии в кратком и систематическом виде изложены основные понятия теории множеств, математической логики и теории алгоритмов. Каждую тему заключают контрольные вопросы и тесты,...
СПб.: СПГУВК, 2005. — 79 с. Излагаются основы алгебры логики включающие определения логических переменных и функций, их состав и формы представления в базисах, используемых в инженерной практике. Основное внимание уделяется булевой алгебре . Рассматриваются её аксиомы и законы, способы преобразования логических функций и их минимизация. Все рассматриваемые положения...
Учебное пособие. — Москва: МГУ, 2004. — 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алгоритмов (машины Тьюринга и вычислительные функции), а также основания теории множеств
Лекции по курсу. — Москва: РГУИТП, 2006. — 62 с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами...
2, 3, 4, 5, 6, 7 главы в формате DOC
Полное соответствие печатному изданию.
Насколько я понимаю это эскиз для издательства ибо труд титанический т. к. использовался редактор формул.
87 страниц A4.
Учебное пособие. — Ижевск: изд-во Удм. ун-та, 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные...
Учебное пособие. — Калининград: КГТУ, 2001. — 140 с. Учебное пособие предназначено для студентов университета, изучающих “Математическую логику”. В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. Все доказательства подкреплены множеством...
Москва: Русская Правда 2011, — 165 с.
Русская вероятностная логика.
Два сообщения, читанные 27 февраля и 23 марта 1882 г. В заседаниях математических секции Общества Естествоиспытателей при Императорском Казанском университете астроном-наблюдателем университета.
Впервые после 1884 года издан уникальный труд "О способах решения логических равенств и об обратном способе...
М.: Московский государственный университет технологий и управления (МГУТУ), 2005. — 8 с. Методические рекомендации и контрольные задания для студентов специальности 230102 (2202) всех форм обучения. Процесс изучения предмета «Математическая логика и теории алгоритмов» состоит из следующих этапов: проработка установочных и обзорных лекций; самостоятельная работа над учебниками и...
М.: РоссПЭН, 1999. — 318 с. Сборник содержит основные труды выдающегося отечественного логика профессора В.А.Смирнова по теории логического вывода, в том числе основополагающую монографию «Формальный вывод и логические исчисления». В приложении имеется полная библиография работ В.А.Смирнова. Книга предназначена для логиков, философов и всех интересующихся проблемами логической...
Учебно–методический комплекс для студентов специальности 230101.65 "Вычислительные машины, комплексы, системы и сети". – М.: МИИТ, 2011. – 13 с.
В комплексе даются базовые понятия дискретной математики, основы математической логики и теории алгоритмов.
В комплексе представлены указания и рекомендации по выполнению лабораторного практикума, практических занятий.
Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 15 с. Высказывания и операции над ними Формулы. Таблицы истинности Тавтологии. Противоречия. Выполнимые формулы Проблема разрешения. Равносильные формулы Нормальные формы СДНФ и СКНФ, их существование и единственность Закон двойственности
Конспект лекций по математической логике. — Минск: Белорусского государственного педагогического университета им. М. Танка (БГПУ), 2004. — 10 с. Понятие формальной аксиоматической теории Понятия формальной выводимости и формального доказательства Определение формальной аксиоматической теории L логики высказываний Теорема дедукции Полнота исчисления высказываний...
Журнал "Самиздат", 2006. — 32 с. Впервые основы построения алгебраических моделей конструктивной (интуиционистской) логики (АМКЛ) в булевой форме были сформулированы автором данной статьи примерно в 1968 году, первая статья по этому вопросу была опубликована в 1970 г., следующая – в 1972.
Комментарии