Get Adobe Flash player

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


Лекции по математической логике и теории алгоритмов: учебное пособие Книгу купили: 67 чел.
Автор книги:  Белов Ю. А., Соколов В. А.

Редактор книги:  Gunpowder

Жанр:  Естественные науки

Год издания:  2013


Количество страниц:  140

Формат книги:  DJVU

Издательство:  Ярославль: ЯрГУ

Дополнинительная инфо.:  10,74 МБ

Дата размещения книги:  10-12-2018, 23:52

Описание книги:
 
Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

Содержание:

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







Пожаловаться на нарушение авторских прав: 

Советуем так же скачать книги:

  • Мировое влияние на дату исчисления

  • Сегодня в современном и быстро текучем мире крайне сложно жить не ориентируясь на общее время. По...

  • Самые удобные формы передвижения в современном мире

  • В быстром мире существуют свои правила. Скорость и мобильность на первом месте. Каждый раз садясь в...

  • Правильные покупки к пляжному сезону в Зимнее время

  • Стиль и мода является неотъемлемой частью нашего современного мира. Тренды диктуют нам что одевать,...

  • Сказка как метод правильного воспитания ребенка

  • Любые занимающие книги могут быть полезны вашему ребенку. Каждый раз беря сказки в руки мы...

  • Как правильно подобрать картину в Москве

  • Изобразительное искусство является эталоном самовыражения и соединения творческих ноток в один...


  • Кабинет поиска книг



     
     

    Блок последних новостей

  • Мировое влияние на дату исчисления

  • Сегодня в современном и быстро текучем мире крайне сложно жить не ориентируясь на общее время. По...

  • Самые удобные формы передвижения в современном мире

  • В быстром мире существуют свои правила. Скорость и мобильность на первом месте. Каждый раз садясь в...

  • Мы в FaceBook

    Мы Вконтакте

    Мы в Одноклассниках


    Карта сайта