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

Год ( По возрастанию | По убыванию )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Удивительная логика

Гусев Д.А. Год: 2016
Логику не изучают в школе. Тем не менее мы пользуемся ее законами с детских лет: учимся размышлять и принимать решения, осмысливаем происходящее, постигаем разные науки и, самое главное, общаемся с другими людьми – поясняем свою позицию, возражаем, спорим, убеждаем… Современный умный, развитый человек просто обязан владеть логическим мышлением – оно упорядочивает полученные...
Математическая логика Ершов Ю.Л., Палютин Е.А.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дискретная математика. Курс лекций для студентов естественнонаучных направлений подготовки

Папшев С.В. Год: 2019. Издание: 1-е изд.
Данное учебное пособие представляет материал лекций по дискретной математике. Соответствующая дисциплина является частью учебных планов направлениям подготовки «Информатика и вычислительная техника» и «Программная инженерия», обучение по которым осуществляется в Саратовском государственном техническом университете имени Ю. А. Гагарина в Институте прикладных информационных...
Практикум по математическим основам теории систем Певзнер Л.Д.

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

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

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

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

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

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

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

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