Вы находитесь здесь: Главная > Основания математики. Математическая логика. Теория чисел > Математическая логика. Курс лекций…

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

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

Цена: 301 рублей

Название: Математическая логика. Курс лекций и практических занятий

Автор: С. Д. Шапорев

Год выпуска: 2005

ISBN: 5-94157-7026

Страниц: 416

Описание:
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.

  • Добавить ВКонтакте заметку об этой странице
  • Мой Мир
  • Facebook
  • Twitter
  • LiveJournal
  • MySpace
  • FriendFeed
  • В закладки Google
  • Google Buzz
  • Яндекс.Закладки
  • LinkedIn
  • Reddit
  • StumbleUpon
  • Technorati
  • del.icio.us
  • Digg
  • БобрДобр
  • MisterWong.RU
  • Memori.ru
  • МоёМесто.ru
  • Сто закладок

Теги: , , ,

Комментарии закрыты.