Меню

Книга Математическая логика и теория алгоритмов. 4-е изд., перераб.и доп, 2023

53 р.

  • Издатель: Ленанд
  • ISBN: 9785951937483

  • EAN: 9785951937483

  • Книги: Математика, статистика, механика
  • ID:13958036
Где купить

Описание Характеристики Сравнить цены (1) Отзывы (0)

Сравнить цены (1)

Цена от 53 р. до 53 р. в 1 магазинах

МагазинЦенаНаличие
Мегамаркет
5/5
ООО "МАРКЕТПЛЕЙС"
ИНН: 9701048328
81 р. (-35%) Повышенный кешбэк до 40%
✔ Промокоды на скидку
✔
28.06.2024
Fk BY
5/5
Информация о компании
Более 10 лет мы занимаемся продажей компьютеров, ноутбуков и обслуживанием компьютерной техники.
OMA BY
5/5
Информация о компании
Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов
Algo BY
5/5
Информация о компании
Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку
OZ BY
5/5
Информация о компании
Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис
✔ Промокоды на скидку
24shop BY
5/5
Информация о компании
24shop - это возможность приобрести все необходимое в одном месте
Домотехника
5/5
Информация о компании
21vek BY
5/5
Информация о компании
Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время
✔ Промокоды на скидку
Яндекс.Маркет
5/5
ООО "ЯНДЕКС"
ИНН: 7736207543
✔ Промокоды на скидку

Описание

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета имени Ф. М. Достоевского. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, паранепротиворечивые логики, логики Васильева и Лукасевича, релевантные логики. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов.

Смотри также о книге.

О книге


ПараметрЗначение
Вес, в граммах253
АвторГуц Александр Константинович
Тип обложкитвердая
Год издания2023
Назначениедля технических ВУЗов; для экономических ВУЗов
Количество книг1
Формат60х90/16
Количество страниц160
ИздательствоЛенанд
Автор(ы)
ISBN978-5-9519-3748-3
Размеры60x90/16
Язык изданияРусский
Кол-во страниц160


Отзывы (0)


Смотреть отзывы на Яндекс.Маркете
Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Автоматика. Вычислительная техника Ленанд

Безопасность критических инфраструктур
0/5 от 25 р.
Задачник по теории информации и кодированию
0/5 от 25 р.
Книга Задачи и методы линейного программирования Кн. 3: Задачи транспортного типа Изд. ...
0/5 от 34 р.
Книга Задачи и методы линейного программирования Кн. 2: Конечные методы Изд. стер.
0/5 от 37 р.
Книга Задачи и методы линейного программирования Кн. 1: Математические основы и практич...
0/5 от 39 р.
Практикум по операционным системам
0/5 от 25 р.
Книга Введение в криптографию: Теоретико-числовые основы защиты информации Изд. стер.
0/5 от 33 р.
Задачи и методы линейного программирования Книга 3 Задачи транспортного типа
0/5 от 21 р.
Задачи и методы линейного программирования Книга 1 Математические основы и практические задачи
0/5 от 27 р.
Задачи и методы линейного программирования Книга 2 Конечные методы
0/5 от 25 р.
Линейное программирование Теория методы и приложения
0/5 от 34 р.
update
Все Математика, статистика, механика Ленанд »

Книги: Автоматика. Вычислительная техника

Категория 42 р. - 63 р.

Микрокомпьютерные системы управления. Первое знакомство
5/5 от 44 р.
Современный станок с ЧПУ и CAD/CAМ-система
5/5 от 53 р.
Средства и системы управления технологическими процессами. Учебное пособие
0/5 от 63 р.
Разработка управляющих программ для оборудования с ЧПУ. Учебное пособие
1/5 от 53 р.
Разработка управляющих программ для системы ЧПУ. Учебное пособие
0/5 от 44 р.
Автоматизация технологических процессов и производств в нефтегазовой отрасли
0/5 от 45 р.
Скоростные режимы индукционного нагрева и термонапряжения в изделиях
0/5 от 43 р.
Системы автоматизации в газовой промышленности
1/5 от 45 р.
Системы автоматизации в нефтяной промышленности. Учебное пособие
0/5 от 43 р.
Информационные системы управления качеством в автоматизированных и автоматических производствах
0/5 от 45 р.
Экспертные системы в АСУ ТП. Учебник
5/5 от 46 р.
Интеллектуальные автоматизированные системы управления технологическими объектами. Уч. пособие
5/5 от 49 р.
Автоматизация испытаний изделий на герметичность
0/5 от 55 р.
Вычислительная техника. Учебное пособие
0/5 от 45 р.
Современные средства АСУ ТП
5/5 от 50 р.
Робототехнические комплексы - средства автоматизации технологических процессов. Учебник
0/5 от 44 р.
Автоматизация сложных электромеханических объектов энергоемких производств
0/5 от 44 р.
Разработка беспилотных транспортных средств
5/5 от 48 р.
Проектирование автоматизированных систем управления. Учебное пособие для вузов
0/5 от 47 р.
Основы автоматизации дорожного строительства и строительно-дорожных машин
0/5 от 46 р.
Прикладная теория надежности. Часть 3. Испытание и контроль. Учебник для вузов
0/5 от 56 р.
update

Книги: Автоматика. Вычислительная техника: другие издатели

⬆ ❤ закладки (0) ✔ сравнение (0)

39 ms