IPR SMART / Математическая логика и теория алгоритмов

Чтение online

Недоступно

Рейтинг издания

Математическая логика и теория алгоритмов. Учебник

Издательство:

Вузовское образование

Авторы:

Горюшкин А.П.

Год издания:

2022

ISBN:

978-5-4487-0808-4

Тип издания:

учебник

DOI:

https://doi.org/10.23682/117296 узнать подробнее

Об издании

В основу учебника положен курс лекций по дисциплине, читавшийся автором в течение более десяти лет для студентов различных специальностей Камчатского государственного технического университета и Камчатского государственного университета им. В. Беринга. В нем рассматриваются элементы теории множеств, алгебра высказываний и алгебра предикатов, аксиоматическое построение логики, изучены основные уточнения понятия алгоритма. Подготовлен в соответствии с Федеральным государственным образовательным стандартом высшего образования. Предназначен для изучения дисциплины «Математическая логика и теория алгоритмов» студентами, обучающимися по направлению подготовки бакалавриата 01.03.02 «Прикладная математика и информатика», укрупненной группе направлений подготовки 09.00.00 «Информатика и вычислительная техника», а также может использоваться студентами направления подготовки 44.03.05 «Педагогическое образование (с двумя профилями подготовки)» (профили «Начальное образование» и «Математика»). Учебник будет полезен преподавателям, ведущим курс математической логики и теории алгоритмов.

Библиографическая запись

Горюшкин А.П. Математическая логика и теория алгоритмов : учебник / Горюшкин А.П.. — Саратов : Вузовское образование, 2022. — 499 c. — ISBN 978-5-4487-0808-4. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/117296.html (дата обращения: 16.10.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Основы экономической теории

Дмитриева И.Е., Ярошенко Е.А.

(Профобразование, Ай Пи Ар Медиа)

Теория государства и права

Венгеров А.Б.

(Дашков и К)

Административный менеджмент

Федорченко Л.В.

(EDP Hub (Идипи Хаб), Профобразование)

Актуальные проблемы права

(Ай Пи Ар Медиа)

Алгебра и теория чисел

Веретенников Б.М., Михалева М.М.

(Профобразование, Уральский федеральный университет)

Алгоритмизация и программирование

Котова О.В., Скидан Ю.В.

(Донбасская национальная академия строительства и архитектуры, ЭБС АСВ)

Алгоритмические основы современной компьютерной графики

Куликов А.И., Овчинникова Т.Э.

(Профобразование)

Алгоритмы компьютерной арифметики

Окулов С.М., Лялин А.В., Пестов О.А., Разова Е.В.

(Лаборатория знаний)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Информационные технологии в экономике

Головицына М.В.

(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)

История России

Айсина Ф.О., Бородина С.Д., Воскресенская Н.О., Квасов А.С., Кривцова Н.С., Маркова А.Н., Мурашова Е.М., Поляк Г.Б., Черных Р.М....

(ЮНИТИ-ДАНА)

Экономика труда

Яковенко Е.Г., Христолюбова Н.Е., Мостова В.Д.

(ЮНИТИ-ДАНА)

Арбитражный процесс

Абсалямов А.В., Абушенко Д.Б., Брановицкий К.Л., Дегтярев С.Л., Загайнова С.К., Кузнецов Е.Н., Ренц И.Г., Раздьяконов Е.С., Решетникова И.В., Скуратовский М.Л., Тарасов И.Н., Тимофеев Ю.А., Чудиновск...

(Статут)