Вы используете мобильную версию

перейти на Полную версию сайта

Доступно

Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин)

Складчина Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин). Совместные покупки курсов, тренингов, обучения. Присоединяйтесь! Важен каждый вкладчик.

Тема найдена по тегам:
Цена:
519 руб
Взнос:
71 руб
Организатор:
Dr.Vatson

Список участников складчины:

1. Dr.Vatson
Оцените эту складчину: /5,
  1. Dr.Vatson
    Dr.Vatson Организатор складчин

    Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин)

    [​IMG]

    Дискретная математика. Формально-логические системы и языки (Сергей Авдошин, Алексей Набебин)

    Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3.

    В основу книги положен многолетний опыт преподавания авторами дисциплины «Дискретная математика» на факультете бизнес-информатики, на факультете компьютерных наук Национального исследовательского университета Высшая школа экономики и на факультете автоматики и вычислительной техники Национального исследовательского университета Московский энергетический институт.

    Книга предназначена для студентов бакалавриата, обучающихся по направлениям 09.03.01 «Информатика и вычислительная техника», 09.03.02 «Информационные системы и технологии», 09.03.03 «Прикладная информатика», 09.03.04 «Программная инженерия», а также для ИТ-специалистов и разработчиков программных продуктов.

    Дата написания: 2018
    Объем: 392 стр.
    ISBN: 978-5-97060-622-3
    Формат: PDF.

     
    Последнее редактирование модератором: 4 янв 2024
    Dr.Vatson, 22 окт 2023
  2. Похожие складчины
    Загрузка...
  3. Dr.Vatson
    Dr.Vatson Организатор складчин
    Уведомляем вас о начале сбора взносов.
    Цена продукта: 519 руб. Взнос с каждого участника: 71 руб.
    Кол-во участников в основном списке: 1 чел.

    Начало сбора взносов 24 Октябрь 2023 года
     
    Dr.Vatson, 22 окт 2023
Наверх