Купить электронную книгу: Лекции по математической логике и теории алгоритмов: учебное пособие

Купить книгу?
Лекции по математической логике и теории алгоритмов: учебное пособие
368
Пожаловаться на книгу
  • 10,74 МБ
  • Отзывов: пока нет ( + добавить свой )
  • Год издания:2013 г.
  • Издательство:Ярославль: ЯрГУ
  • Формат книги:DJVU
  • Жанр:Естественные науки
  • Кол-во страниц:140
  • Книгу купило:368 человек
  • Автор:Белов Ю. А., Соколов В. А.
  • Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

    Содержание:

    Введение
    1. Элементы математической логики
    2. Элементы теории алгоритмов
    Литература



Что еще прочитать?
    Просмотрело 231
    Андрей Туполев — В детстве каждый из нас обращал взор к небу. Увидев в нем летящую в неведомые края стальную птицу, мы радовались этому, как чуду. А ведь действительно,...
    • 0
    • 0

    Название: Андрей Туполев

    Автор: Нурмухаметова А.
    Категория: Беллетристика
    Просмотрело 404
    Исчезающий труп — Произведения, включенные в сборник, объединяет образ очаровательной Никки Портер, благодаря предприимчивости и бесстрашию которой знаменитый...
    • 0
    • 0

    Название: Исчезающий труп

    Автор: Квин Эллери
    Категория: Детективы
    Просмотрело 736
    26 ПБУ: практический комментарий — В этой книге собраны все действующие положения (стандарты) по бухгалтерскому учету (ПБУ) и все методические указания, подготовленные во...
    • 0
    • 0

    Название: 26 ПБУ: практический

    Автор: Касьянова Г. Ю.
    Категория: Бизнес
    Просмотрело 524
    Расплата за ложь (сборник) — «У оконца, на грубо сколоченном столе, лежали исклеванные сорокой ломти хлеба и крупно нарезанные куски колбасы. Рядом стояла ополовиненная...
    • 0
    • 0

    Название: Расплата за ложь

    Автор: Черненок Михаил
    Категория: Детективы
    Просмотрело 217
    Первая аналитическая иллюстрированная хрестоматия по Русской военной истории. Компания "Новый Диск" открывает публикацию материалов из "Военной библиотеки" профессора...
    • 0
    • 0

    Название: Наука побеждать.

    Автор: Коллектив авторов
    Категория: Военная история
  • Случайная книга
    • Ваш Email:
    • Ваше сообщение:
    • для авторов книг
    Закрыть
    Если вы сами писали книгу, авторские права все равно будут принадлежать вам, так как по закону «Об авторском праве и смежных правах» объектом права признаётся не комплекс идей, а целостное произведение с его композицией и образной системой. Узнать больше?
    Хотите пройти обучение по сайту? ДаНет

    Литклуб.TV – сетевое телевидение, представляющее авторов современной литературы. Проект создан при поддержке Российского союза писателей.
    1. В этом блоке отображаются последние рецензии на известные книги и произведения
    2. Тут отображаются последние новости из мира Литературы и не только
    3. Тут вы можете авторизироватся и открыть свой профиль
    4. А здесь вы можете выбрать книгу под настроение
    5. Ели нажать на замочек то меню можно зафиксировать