Дискретная математика, мат. логика, теория алгоритмов, численные методы

Шенфилд Дж. Математическая логика: Пер. с англ. М., 1975. - 528 c. Книга известного американского логика Дж.Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. Книга может быть рекомендована в качестве учебника по курсам математической логики и теории алгоритмов в университетах и пединститутах.

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Шапорев С. Д. Математическая логика. Курс лекций и практических занятий

02.08.201315.03.2018

Шапорев С. Д. Математическая логика. Курс лекций и практических занятий. — СПб., 2005. - 416 с: ил. В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды)

02.08.201316.03.2018

Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика) Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Самохин А.В. Математическая логика и теория алгоритмов

02.08.201310.03.2018

Самохин А.В. Математическая логика и теория алгоритмов. - М., 2003. - 237 с. Главы III и IV имеют отношение к алгоритмическому проектированию электронных схем; главы V и VI — к автоматическому порождению синтаксически правильных текстов, т.е. к специальному программированию; остаток книги посвящен основам теории алгоритмов: здесь обсуждаются, какие задачи вообще …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая

02.08.201316.03.2018

Пономарев В.Ф. Математическая логика. Часть 2. Логика реляционная. Логика нечеткая. Учебное пособие – Калининград: КГТУ, 2001. -106 с. Учебное пособие предназначено для студентов университета, изучающих "Математическую логику". В нем изложены основные принципы формирования языка, основные правила и механизмы доказательства истинности заключения в реляционной и нечеткой логике. Все доказательства подкреплены множеством …

Дискретная математика, мат. логика, теория алгоритмов, численные методы / Математика / Математика для студентов, аспирантов и научных работников

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов

02.08.201311.03.2018

Пономарев В.Ф. Математическая логика. Часть 1. Логика высказываний. Логика предикатов. Учебное пособие. – Калининград: КГТУ, 2001. - 140 с. Учебное пособие предназначено для студентов университета, изучающих "Математическую логику". В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. …