Начало|Новые товары|Акция|Контакты
Поиск по книгам:
 
 Категории:
  Немецкий язык
  Английский язык
  Испанский язык
  Словари
  Химия
  Сказки
  Литература
  Энциклопедии
  Математика
  Атласы
  Стихи
  Обществознание
  История
  Сочинения
  ЕГЭ
  Информатика
  ГИА
  Алгебра
  Сборники
  Физика
  Дневник
  Тесты
  Справочники
  Музыка
 Cпециальное предложение:
    Барби, учимя считать
   
Переводчик: Е Кушнарева.
    Энциклопедия рисования
   
Переводчик: Татьяна Покидаева.
    Товары
    ТоварыЛекции по математической логике и теории алгоритмов Часть 2 Языки и исчисления Серия: Современные лекционные курсы инфо 8298i.
Лекции по математической логике и теории алгоритмов Часть 2 Языки и исчисления Серия: Современные лекционные курсы инфо 8298i.

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ В ней рассказывается об основных понятиях математической логики (логика высказываний, языки пераюпнщвого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей) Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой Книга включает около 200 задач рбмжэтазличной трудности 3-е издание, дополненное Авторы Николай Верещагин Александр Шень.