Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя

Тема в разделе "Разное", создана пользователем Postal, 12 янв 2016.

  1. Postal

    Postal Федор

    Босс В.
    Лекции по математике: Том 6: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя

    [​IMG]

    Издательство: Либроком
    Жанр: Научная, учебная литература для специалистов

    Качество: Хорошее
    Страниц: 208
    Формат: pdf, fb2, epub

    Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
     

    Вложения:

    Postal, 12 янв 2016
    #1
  2. Notkin

    Notkin Богдан

    Спасибо
     

    Notkin, 12 янв 2016
    #2
  3. Postal

    Postal Федор

    Пожалуйста.
     

    Postal, 12 янв 2016
    #3
Похожие книги

  1. Информатика: Информатика в играх и задачах. 4 класс. Часть 3. Логика и алгоритмы. ФГОС

  2. Информатика: Информатика в играх и задачах. 3 класс. Часть 3. Логика и алгоритмы. ФГОС

  3. Лекции по высшей математике

  4. Прикладная дискретная математика: Логика. Графы. Автоматы. Алгоритмы. Кодирование

  5. Читаем Тьюринга: Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга

Загрузка...

Поделиться этой страницей