fbpx
Математическая логика

электронная

Виктор Матросов

Математическая логика

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для … Продолжить

  • автор (соавторы):

    Виктор Матросов, Махмашариф Мирзоев

  • правообладатель

    Прометей

  • название оригинала:

    Математическая логика

  • выход в свет:

    01.01.2020

  • ISBN:

    978-5-907244-03-0

  • EAN:

    9785907244030

6,63  вкл. НДС 7,0 %
  • автор (соавторы):

    Виктор Матросов, Махмашариф Мирзоев

  • правообладатель

    Прометей

  • название оригинала:

    Математическая логика

  • выход в свет:

    01.01.2020

  • ISBN:

    978-5-907244-03-0

  • EAN:

    9785907244030

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

Вас также могут заинтересовать
Сервисная информация
[mc4wp_form id="2438"]