Автор Владимир Крупский

Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA

скачать книгу в fb2, PDF, TXT, JAVA


Книга Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA. Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Описание книги

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

Информация

ISBN о

978-5-7695-9559-2

Обложка

Автор

Владимир Крупский

Количество страниц о Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA

416

Издательство о Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA

Размеры Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA

145х215 мм (средний формат)

Язык

Переплет

Серия

Ограничение

Оценка

Вес

Информация

  • ISBN: 978-5-7695-9559-2
  • Обложка:
  • Автор: Владимир Крупский
  • Количество страниц: 416
  • Издательство:
  • Размеры: 145х215 мм (средний формат)
  • Язык:
  • Переплет:
  • Серия:
  • Ограничение:
  • Оценка:
  • Вес:

Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA

  • Книга Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA в PDF epub fb2
  • Книга Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA в rtf doc isilo3
  • Книга Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA в txt mobi rb
  • Книга Математическая логика и теория алгоритмов скачать книгу в fb2, PDF, TXT, JAVA в java lit lrf

Book title

The size

Link

Математическая логика и теория алгоритмов Скачать о EasyFiles

3.5 mb. Скачать Бесплатно

Математическая логика и теория алгоритмов Бесплатно о OpenShare

4.7 mb. Скачать Бесплатно

Математическая логика и теория алгоритмов Бесплатно о WeUpload

5.2 mb. Скачать Бесплатно

Математическая логика и теория алгоритмов Бесплатно о LiquidFile

4.4 mb. Скачать Бесплатно

Book title

The size

Link

Математическая логика и теория алгоритмов Скачать в pdf

4.5 mb. Бесплатно pdf

Математическая логика и теория алгоритмов Бесплатно в mobi

5.4 mb. Бесплатно MOBI

Математическая логика и теория алгоритмов Бесплатно в djvu

3.6 mb. Бесплатно DjVu

Математическая логика и теория алгоритмов Бесплатно в epub

5.8 mb. Бесплатно ePUB