Математическая логика. Курс лекций

Математическая логика. Курс лекций

  • Формат: Книга
  • Автор:Лихтарников Л.М., Сукачева Т.Г.
  • Автор(ы):Лихтарников Л.М., Сукачева Т.Г.
  • Жанр:Математическая логика, теория графов
  • ISBN: -
  • Издательство: Лань
  • Серия: не указана
  • Год:2008

Описание

  • Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.