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

Шевченко В. Е. Некоторые способы решения логических задач ОНЛАЙН

Шевченко В. Е. Некоторые способы решения логических задач. - Киев, 1979. - 80 с. В книге в научно-популярной форме изложены основные способы решения логических задач: здравым рассуждением, при помощи исчисления высказываний, составлением таблиц и построением графов. Пособие содержит свыше ста задач для самостоятельного решения, на которые в конце книги приведены …

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

Шенфилд Дж. Математическая логика ОНЛАЙН

02.08.201330.01.2018

Шенфилд Дж. Математическая логика: Пер. с англ. М., 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 с. Учебное пособие предназначено для студентов университета, изучающих "Математическую логику". В нем изложены основные принципы формирования языка, основные правила дедуктивного вывода, основные механизмы доказательства истинности заключения в логике высказываний и логике предикатов. …

Плиско В. Е. Математическая логика. Курс лекций ОНЛАЙН

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

Подзоров С. Ю. Теория алгоритмов. Полный конспект лекций ОНЛАЙН

02.08.201327.01.2018

Подзоров С. Ю. Теория алгоритмов. Полный конспект лекций. - НГУ, 2003 – 2004. - 130 с. Слово "алгоритм" возникло довольно поздно (оно образовано от имени арабского математика аль-Хорезми, жившего в 9 веке н. э.) Несмотря на это, понятие алгоритма является одним из базовых понятий математики. Прежде чем вести разговор об …