SCI Библиотека
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
SciNetwork библиотека — это централизованное хранилище научных материалов всего сообщества... ещё…
Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».
Учебное пособие содержит подборку заданий для проведения контрольных
и самостоятельных работ по разделу дискретной математики: логика высказы-
ваний, булева алгебра. Приведены необходимые теоретические сведения и при-
меры решения задач, содержится большой набор задач для самостоятельного
решения. Большое внимание уделено принципам строения математических тео-
рий и доказательства математических теорем.
Пособие предназначено для студентов направлений 01.03.02 «Прикладная
математика и информатика», 01.03.04 «Прикладная математика», 02.03.01 «Ма-
тематика и компьютерные науки».
В учебном пособии изложены элементы теории множеств,
алгебры логики и предикатов, булевых функций, контактных
схем и алгоритмов. Показана методика решения типовых задач.
Предназначено для обучающихся по направлению
подготовки 09.03.02 Информационные системы и технологии,
направленность «Создание, модификация и сопровождение ин-
формационных систем, администрирование баз данных».
В учебном пособии изложены элементы теории множеств, алгебры логики и предикатов, булевых функций, контактных схем и алгоритмов. Показана методика решения типовых задач. Предназначено для обучающихся по направлению подготовки 09.03.02 Информационные системы и технологии, направленность «Создание, модификация и сопровождение информационных систем, администрирование баз данных»
Машина Поста — это хотя и абстрактная (т. е. не существующая в арсенале действующей техники), но зато очень простая вычислительная машина. Она способна выполнять лишь самые элементарные действия, и потому ее описание и составление простейших программ может быть доступно ученикам начальной школы. Тем не менее на машине Поста можно запрограммировать — в известном смысле — любые алгоритмы. Изучение машины Поста можно рассматривать как начальный этап обучения теории алгоритмов и программированию.
Пособие предназначено для студентов, специализирующихся по информатике, а также всех тех, кто желает начать систематическое изучение математической логики