Доступно

Дискретная математика. Формально-логические системы и языки (2017)

Тема в разделе "Электронные книги", создана пользователем Гуськом, 6 дек 2017.

Цена: 649р.
Взнос: 150р.-76%
100%

Основной список: 18 участников

Статус обсуждения:
Комментирование ограничено.
  1. 6 дек 2017
    #1
    Гуськом
    Гуськом ОргОрганизатор

    Дискретная математика. Формально-логические системы и языки (2017)

    [​IMG]
    Автор: Авдошин С.М., Набебин А.А.
    Дата выхода: декабрь 2017 года
    Объем, стр.: 390
    ISBN: 978-5-97060-622-3

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

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

    Основные теоретические и практические положения, изложение и анализ практических алгоритмов, иллюстрируемые большим числом примеров, позволят сформировать прочную теоретическую базу

    Формат: издательский PDF

    Продажник:

    Книга является продолжением раннее вышедшей книги:
    Дискретная математика. Модулярная алгебра, криптография, кодирование (2016)
     
    Последнее редактирование: 11 дек 2017
    2 пользователям это понравилось.
  2. Последние события

    1. skladchik.com
      Складчина доступна.
      14 дек 2017
    2. skladchik.com
      Взнос составляет 75р.
      14 дек 2017
    3. skladchik.com
      Складчина активна.
      14 дек 2017
    4. S_Stanislav
      S_Stanislav участвует.
      13 дек 2017

    Последние важные события

    1. skladchik.com
      Складчина доступна.
      14 дек 2017
    2. skladchik.com
      Взнос составляет 75р.
      14 дек 2017
    3. skladchik.com
      Складчина активна.
      14 дек 2017
    4. skladchik.com
      Сбор взносов начинается 14.12.2017.
      10 дек 2017
Статус обсуждения:
Комментирование ограничено.

Поделиться этой страницей