Skip to content
  • Language
    • English
    • Русский

Advanced
  • Курс математической логики и т...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Курс математической логики и теории вычислимости учебное пособие

Курс математической логики и теории вычислимости учебное пособие

Bibliographic Details
Main Author: Герасимов, Александр Сергеевич
Format: eBook
Language:Russian
Published: Санкт-Петербург Лема 2011
Edition:Изд. 3-е, исправ. и доп.
Subjects:
математическая логика
теория вычислимости
алгоритмов теория
язык логики предикатов
язык логики высказываний
исчисление гильбертовского типа
секвенциальные исчисления
метод резолюций
элементарная арифметика
Цермело-Френкеля теория множеств
Тьюринга машины
Маркова алгоритмы нормальные
лямбда-исчисление
исчисление предикатов
Геделя теоремы о неполноте
Хоара исчисление
Online Access:https://www.lib.tsu.ru/limit/2024/koha001143399/koha001143399.pdf
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Physical Description:283, [1] с. табл.
Bibliography:Библиогр.: с. 264-267
Предм. указ.: с. 268-284
ISBN:9785987092927

Similar Items

  • Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
    by: Герасимов, Александр Сергеевич
    Published: (2014)
  • Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]
    by: Зюзьков, Валентин Михайлович
    Published: (2017)
  • Лекции по математической логике и теории алгоритмов учебно-методический комплекс
    by: Агибалов, Геннадий Петрович 1939-2020
    Published: (2007)
  • Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
    by: Зюзьков, Валентин Михайлович
    Published: (2007)
  • Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
    by: Судоплатов, Сергей Владимирович
    Published: (2004)
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...