Расширенный поиск
Все разделы
Корзина
у вас нет товаров

Математическая логика

Элементы дискретной математики: учебное пособие Ананичев Д.С., Андреева И.Ю., Гредасова Н.В., Костоусов К.В.

Элементы дискретной математики: учебное пособие

Ананичев Д.С., Андреева И.Ю., Гредасова Н.В., Костоусов К.В.
В учебном пособии рассматриваются элементы дискретной математики: логические исчисления, предикаты, булевы функции, комбинаторика, теория графов, автоматы и алгоритмы. Приведено решение типовых задач. Предназначается для студентов всех форм обучения всех специальностей.
Дискретная математика. Часть I : учебное пособие Веретенников Б.М., Белоусова В.И.

Дискретная математика. Часть I : учебное пособие

Веретенников Б.М., Белоусова В.И.
Учебное пособие включает в себя базисные разделы дискретной математики: бинарные отношения, элементы общей алгебры и теорию чисел. В работе предлагаются упражнения для самостоятельного решения. Предназначено для студентов всех направлений подготовки Института радиоэлектроники и информационных технологий – РтФ.
Математические модели и методы оценки событий, ситуаций и процессов Ганичева А.В.

Математические модели и методы оценки событий, ситуаций и процессов

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

Курс математической логики и теории вычислимости

Герасимов А.С.
Настоящее учебное пособие предназначено для изучения математической логики и теории алгоритмов. В нём описаны язык логики высказываний и язык логики предикатов первого порядка, семантика этих языков. На основе общего понятия исчисления изложены исчисления гильбертовского типа, секвенциальные исчисления и метод резолюций как способы формального математического доказательства....
Введение в современную логику Гладкий А.В.

Введение в современную логику

Гладкий А.В.
Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых...
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б.

Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов

Глухов М.М., Козлитин О.А., Шапошников В.А., Шишков А.Б.
Данное учебное пособие содержит набор задач и упражнений необходимый для закрепления и расширения лекционного материала дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции», изучаемых в рамках подготовки студентов высших учебных заведений, обучающихся по специальностям в области информационной безопасности. Пособие включает задачи, относящиеся...
Математическая логика. Дискретные функции. Теория алгоритмов Глухов М. М., Шишков А. Б.

Математическая логика. Дискретные функции. Теория алгоритмов

Глухов М. М., Шишков А. Б.
Учебное пособие содержит полное изложение материала учебных дисциплин «Математическая логика и теория алгоритмов» и «Дискретные функции» Государственного образовательного стандарта высшего профессионального образования по специальностям «Компьютерная безопасность», «Информационная безопасность автоматизированных систем» и некоторым другим смежным специальностям. Пособие...
Математическая логика Ершов Ю.Л., Палютин Е.А.

Математическая логика

Ершов Ю.Л., Палютин Е.А.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов....
Логические основы проектирования дискретных устройств Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д.

Логические основы проектирования дискретных устройств

Закревский А.Д., Поттосин Ю.В., Черемисова Л.Д.
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам...
Математическая логика Зыков А.Г., Поляков В.И., Скорубский В.И.

Математическая логика

Зыков А.Г., Поляков В.И., Скорубский В.И.
В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются...
Сборник задач по дискретной математике Кожухов С.Ф., Совертков П.И.

Сборник задач по дискретной математике

Кожухов С.Ф., Совертков П.И.
Учебное пособие содержит задачи по темам: множества, комбинаторика и бинарные отношения, булевы функции, графы, кодирование информации, алгоритмы. В пособии приведены краткие теоретические сведения, решено около 200 типовых примеров, содержится большой набор задач для самостоятельного решения, дана контрольная работа. При наличии большого количества новых понятий приведены...
Теория тестирования логических устройств Кудрявцев В.Б., Гасанов Э.Э., Долотова О.А., Погосян Г.Р.

Теория тестирования логических устройств

Кудрявцев В.Б., Гасанов Э.Э., Долотова О.А., Погосян Г.Р.
Тестирование логических устройств — активно развивающееся научноприкладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта...
Задачи по теории множеств, математической логике и теории алгоритмов Лавров И.А., Максимова Л.Л.

Задачи по теории множеств, математической логике и теории алгоритмов

Лавров И.А., Максимова Л.Л.
В книге в форме задач систематически изложены основы теории множеств, математической логике и теории алгоритмов. Книга преднизначена для активного изчения математической логики и смежных с ней наук.Состоит из трех частей: "Теория множств", "Математическая логика", "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы...
Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л.М., Сукачева Т.Г.

Математическая логика. Курс лекций. Задачник-практикум и решения

Лихтарников Л.М., Сукачева Т.Г.
Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических...
S-Классификация функций трёхзначной логики Марченков С.С.

S-Классификация функций трёхзначной логики

Марченков С.С.
S-классификация. Базирующаяся на операциях суперпозиций и перехода к двойственным функциям для подстановок из полной симметрической группы, является единственной эффективной классификацией множества функций многозначной логики. Книга посвящена систематическому изложению S-классификации множества функций трезначной логики. Дается описание всех 48 S-замкнутых классов...
Практикум по математическим основам теории систем Певзнер Л.Д.

Практикум по математическим основам теории систем

Певзнер Л.Д.
Изложены методы решения задач преобразования четких и нечетких множеств, бинарных отношений, исчисления высказываний и булевой алгебры. Приведены примеры и задачи минимизации формул алгебры логики, описания графов и основных операций над ними. Описаны алгоритмы отыскания кратчайших путей и максимальных потоков, комбинаторных соотношений и эффективного кодирования....
Основы математической обработки информации. Часть I. Алгебра логики. Практикум по решению задач Пиотровская К.Р., Сазонова Н.В.

Основы математической обработки информации. Часть I. Алгебра логики. Практикум по решению задач

Пиотровская К.Р., Сазонова Н.В.
Учебное пособие является частью учебно-методического комплекса по дисциплине «Основы математической обработки информации», читаемой в академическом бакалавриате по педагогическим специальностям. Учебное пособие включает краткий теоретический курс, посвященный алгебре логики, подробные разборы решений типовых задач, а также задачи различного уровня сложности для самостоятельного...
Прикладная логика Попов С.В., Брошкова Н.Л.

Прикладная логика

Попов С.В., Брошкова Н.Л.
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами...
Элементы математической логики Тарасенко А.В., Егорова И.П.

Элементы математической логики

Тарасенко А.В., Егорова И.П.
Учебное пособие содержит краткое изложение теоретического материала по основным разделам математической логики, подробное решение наиболее типичных задач, большое количество упражнений для самостоятельной работы студентов. Учебное пособие написано для студентов 2 курса факультета информационных систем и технологий очной формы обучения.
Вводный курс математической логики Успенский В.А.

Вводный курс математической логики

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