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

Чтение online

Недоступно

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

Поделиться:

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

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

Сибирский федеральный университет

Авторы:

Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И.

Год издания:

2019

ISBN:

978-5-7638-4076-6

Тип издания:

учебное пособие

DOI:

не присвоен узнать подробнее

Об издании

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Предназначено для студентов направления подготовки 09.03.04 «Программная инженерия». Также будет полезно студентам направлений 09.03.02 «Информационные системы и технологии», 27.03.03 «Системный анализ и управление».

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

Вайнштейн Ю.В. Математическая логика и теория алгоритмов : учебное пособие / Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И.. — Красноярск : Сибирский федеральный университет, 2019. — 110 c. — ISBN 978-5-7638-4076-6. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/100046.html (дата обращения: 15.01.2025). — Режим доступа: для авторизир. пользователей

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

Алгебра индексных объектов

Гущин А.В., Палевская С.А.

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

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

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

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

Введение в теорию автоматов

Князьков В.С., Волченская Т.В.

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

Введение в теорию программирования. Объектно-ориентированный подход

Зыков С.В.

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

Инструменты, алгоритмы и структуры данных

Мейер Б.

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

Интернет-предпринимательство. Моделирование монетизации EdTech-продуктов

Томасова Д.А., Кисличенко К.В.

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

Математическая связность и экстремальное планирование

Гущин А.В., Палевская С.А.

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

Математические средства решения задач управления логистическими системами

Алексеев Г.В., Холявин И.И.

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

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

Сервис: организация, управление, маркетинг

Волк Е.Н., Зырянов А.И., Лимпинская А.А., Харитонова Н.В.

(Дашков и К)

СУБД PostgreSQL. Основы SQL

Маркин А.В.

(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)

Менеджмент в туристской индустрии

Удалова И.Б., Удалова Н.А., Машинская Е.А.

(Дашков и К, Ай Пи Эр Медиа)

История государства и права России. Ч.1

Дедюхина И.Ф., Жданова О.В., Лабовская Ю.В., Луговской С.И., Шевченко Е.А.

(Ставропольский государственный аграрный университет)

Современные педагогические технологии основной школы в условиях ФГОС

Даутова О.Б., Иваньшина Е.В., Ивашедкина О.А., Казачкова Т.Б., Крылова О.Н., Муштавинская И.В.

(КАРО)

Арт-терапия

Никитин В.Н.

(Когито-Центр)

Менеджмент в сервисе

Мальшина Н.А.

(Дашков и К, Ай Пи Эр Медиа)

Конституционное право Российской Федерации

Иналкаева К.С.

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

Этот сайт использует «cookies». Условия использования «cookies» см. в Пользовательском соглашении. Также сайт использует инструменты для сбора технических данных касательно посетителей с целью получения маркетинговой и статистической информации. Условия обработки данных посетителей сайта см. в Политике конфиденциальности. В случае несогласия с обработкой данных, просим покинуть сайт Принять условия