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

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

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

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

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

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

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

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

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

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

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

Обольстить логикой. Выводы на все случаи жизни

Дрёссер К.
Эта книга полностью оправдывает свое название. Прочитав ее, вы поймете прелесть логического мышления и увидите, как логика помогает нам рассуждать и делать выводы даже в самых непростых жизненных ситуациях....
Математическая логика Ершов Ю.Л., Палютин Е.А.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Певзнер Л.Д.
Изложены методы решения задач преобразования четких и нечетких множеств, бинарных отношений, исчисления высказываний и булевой алгебры. Приведены примеры и задачи минимизации формул алгебры логики,...
Прикладная логика Попов С.В., Брошкова Н.Л.

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

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

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

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

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

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