Меню

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

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

  • EAN: 9785951937483

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

Описание Характеристики Цены Отзывы (0)

Сравнить цены

Последняя известная цена от 36 р. до 60 р. в 2 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Мегамаркет
5/5
ООО "МАРКЕТПЛЕЙС"
ИНН: 9701048328
92 р. (-35%) Повышенный кешбэк до 40%

Наличие уточняйте
24.12.2024
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
Возрастное ограничение16+


Отзывы (0)


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


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

Категория 29 р. - 43 р.

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

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

Категория 29 р. - 43 р.

Вычислительные и экспериментальные методы научного эксперимента
4/5 от 36 р.
Курс теории автоматического управления. Учебное пособие
5/5 от 36 р.
Теория автоматического управления. Том 2. Многомерные, нелинейные, оптимальные и адаптивные системы
5/5 от 32 р.
Теория автоматического управления. Задачи и решения. Учебное пособие
0/5 от 37 р.
Элементарная теория линейных систем в задачах и упражнениях
0/5 от 29 р.
Интегрированные системы проектирования и управления. SCADA. Учебное пособие
0/5 от 33 р.
Скоростные режимы индукционного нагрева и термонапряжения в изделиях
0/5 от 43 р.
Автоматизация технологических процессов и производств. Введение в специальность: Учебное пособие
0/5 от 29 р.
Надежность систем автоматизации
0/5 от 41 р.
Автоматизация проектирования технического обеспечения АСУТП
0/5 от 38 р.
Разработка АСУТП в среде WinCC
0/5 от 38 р.
Математическое моделирование объектов и систем автоматического управления
0/5 от 38 р.
Математические модели в управлении производством меди: идеи, методы, примеры
0/5 от 30 р.
Компьютерная арифметика. Учебное пособие (+CD)
0/5 от 29 р.
Основы автоматизации технологических процессов
0/5 от 30 р.
Проектирование цифровых систем автоматического управления на основе теории Z-преобразований
0/5 от 35 р.
Вычислительная техника. Учебное пособие
0/5 от 31 р.
Объекты систем автоматического управления
0/5 от 32 р.
Методология создания информационных систем. Учебное пособие
0/5 от 38 р.
Проектирование аналоговых и цифровых устройств
0/5 от 34 р.
Теория автоматического управления. Линейные, непрерывные системы
0/5 от 40 р.
update

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

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

11 ms