Библиотека УрГУПС

Библиотечно-информационный центр

Упрощенный режим

Описание

Базы данных

ЭБС "ЛАНЬ"- результаты поиска

Вид поиска

Каталог книг и учебно-методических материалов

Статьи из журналов

Авторефераты и диссертации

ЭБС "IPRBooks"

ЭБС "ЛАНЬ"

Сетевая Электронная Библиотека

ЭБС ИНФРА-М ("znanium.com")

ЭБ УМЦ ЖДТ

ЭБС Юрайт

Видеотека "Решение: учебное видео"

КЖТ УрГУПС

ПИЖТ УрГУПС

ЧИПС УрГУПС

Филиал в г. Н. Тагиле

Филиал в г. Тюмени

Филиал в г. Златоусте

ВКР

Публикации

Труды вузов Росжелдора

Методические материалы СПО

Отчеты НИР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>K=формула доказуемая<.>

Общее количество найденных документов : 1

RU-LAN-BOOK-210281

Лихтарников, Л. М.
Математическая логика. Курс лекций. Задачник-практикум и решения [] : практикум / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 288 с. - ISBN 978-5-8114-0082-9 : Б. ц.
Книга из коллекции Лань - Математика
. - [Б. м. : б. и.]. - https://e.lanbook.com/book/167754

УДК

510.6(075)

ББК 22.122я73
Рубрики: Математика--Дискретная математика и математическая логика--Лань
Кл.слова (ненормированные):
математическая логика -- учебное пособие -- алгоритм -- алгебра логики -- курс лекций -- задачник -- аксиома логическая -- алгебра -- алгоритмы -- буля -- буля алгебра -- вычислимая -- геделя -- двойственность -- двойственность закон -- дедукция теорема -- дизъюнктивная -- доказуемость -- задачи -- задачи решения -- закон -- исчисление высказываний -- исчисление аксиоматическое -- исчисления высказываний -- конъюнктивная -- курсы лекций -- логика -- логика предикатов -- математика -- математика логика -- математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи -- математические теории -- машина -- операция логическая -- разрешимость -- рекурсивная -- решение задач -- тавтология -- терма -- тьюринга -- тьюринга машина -- учебник и пособие -- учебные пособия -- форма дизъюнктивная -- формула доказуемая -- функция -- функция вычислимая -- функция рекурсивная
Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Перейти: Ссылка на документ в ЭБС Лань

Доп.точки доступа:
Сукачева, Т. Г.
Свободных экз. нет
Найти похожие