SCI Библиотека

SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…

Книга: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ДИСКРЕТНАЯ МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА, ДИСКРЕТНАЯ МАТЕМАТИКА

Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».

Формат документа: pdf
Кол-во страниц: 55 страниц
Доступ: Всем
Книга: МАТЕМАТИЧЕСКАЯ ЛОГИКА И ДИСКРЕТНАЯ МАТЕМАТИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА, ДИСКРЕТНАЯ МАТЕМАТИКА

Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».

Формат документа: pdf
Год публикации: 2022
Кол-во страниц: 55 страниц
Доступ: Всем
Книга: ОСНОВЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ТЕОРИИ АЛГОРИТМОВ
ТЕОРИЯ МНОЖЕСТВ, АЛГЕБРА ЛОГИКИ И ПРЕДИКАТОВ, БУЛЕВЫ ФУНКЦИИ, КОНТАКТНЫЕ СХЕМЫ, АЛГОРИТМЫ

В учебном пособии изложены элементы теории множеств,
алгебры логики и предикатов, булевых функций, контактных
схем и алгоритмов. Показана методика решения типовых задач.
Предназначено для обучающихся по направлению
подготовки 09.03.02 Информационные системы и технологии,
направленность «Создание, модификация и сопровождение ин-
формационных систем, администрирование баз данных».

Формат документа: pdf
Год публикации: 2024
Кол-во страниц: 157 страниц
Доступ: Всем
Книга: ОСНОВЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ И ТЕОРИИ АЛГОРИТМОВ
ТЕОРИЯ МНОЖЕСТВ, АЛГЕБРА ЛОГИКИ И ПРЕДИКАТОВ, БУЛЕВЫ ФУНКЦИИ, КОНТАКТНЫЕ СХЕМЫ, АЛГОРИТМЫ

В учебном пособии изложены элементы теории множеств, алгебры логики и предикатов, булевых функций, контактных схем и алгоритмов. Показана методика решения типовых задач. Предназначено для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии, направленность «Создание, модификация и сопровождение информационных систем, администрирование баз данных»

Формат документа: pdf
Год публикации: 2024
Кол-во страниц: 157 страниц
Владелец: Афонин Сергей
Доступ: Всем
Книга: Машина Поста
машина Поста

Машина Поста — это хотя и абстрактная (т. е. не существующая в арсенале действующей техники), но зато очень простая вычислительная машина. Она способна выполнять лишь самые элементарные действия, и потому ее описание и составление простейших программ может быть доступно ученикам начальной школы. Тем не менее на машине Поста можно запрограммировать — в известном смысле — любые алгоритмы. Изучение машины Поста можно рассматривать как начальный этап обучения теории алгоритмов и программированию.

Формат документа: pdf
Год публикации: 1988
Кол-во страниц: 100 страниц
Владелец: Афонин Сергей
Доступ: Всем
Книга: Курс математической логики и теории вычислимости
теория алгоритмов, МАТЕМАТИЧЕСКАЯ ЛОГИКА

Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики

Формат документа: pdf
Год публикации: 2011
Кол-во страниц: 284 страницы
Владелец: Афонин Сергей
Доступ: Всем