Уведомлений еще не было
  • Главная
  • Книги
  • Математическая логика и теория алгоритмов. Вычислимые функции

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

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач...

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Книга включает около 90 задач различной трудности.

Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга «Математическая логика и теория алгоритмов. Вычислимые функции» авторов Александр Шень, Николай Верещагин оценена посетителями КнигоГид, и её читательский рейтинг составил 8.80 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.

  • Просмотров: 215
  • Рецензий: 0
Информация об издании


К этой книге не добавлены цитаты
Эта книга еще не добавлена в подборки
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ персонажи
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ ТЕСТЫ
ОГЛАВЛЕНИЕ ОТСУТСТВУЕТ
КНИГА НЕ УПОМИНАЛАСЬ В БЛОГАХ

Рецензии на книгу

Написано 0 рецензий

Кино
8.2
0
0
Симпсоны и их математические секреты
Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.

Математика
6.9
0
0
Математика для взрослых. Лайфхаки для повседневных вычислений
Математика для взрослых. Лайфхаки для повседневных вычислений

Эта книга – самый дружелюбный и доступный ликбез по математике. После ее прочтения вы разберетесь в большинстве базовых терминов и вычислений, сможете применять их в жизни и даже узнаете несколько математических трюков, которыми можно произвести впечатление на друзей. Глоссарий в конце книги позволит вам быстро освежить в памяти любое определение.Книга будет полезна широкому кругу читателей.На рус...

Математика
8.2
0
0
Аргументация и убеждение
Аргументация и убеждение

В книге предложена логико-когнитивная формализованная теория аргументации для моделирования трех видов аргументации - обоснования, убеждения и практической аргументации. Формальная часть теории проиллюстрирована примерами "кухонного" спора Н.Хрущева с Р.Никсоном и спора Протагора с Эватлом. Книга адресована логикам, философам, специалистам в области речевой коммуникации и может служить учебн...

Естественные науки
8.8
0
0
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Альберт Эйнштейн писал: "Как так получилось, что математика, продукт человеческой мысли, независимый от опыта, так прекрасно соотносится с объектами физической реальности?" Наука предлагает абстрактную математическую модель, а спустя какое-то время (иногда десятилетия) выясняется, что эта модель существует в реальности! Так кто же придумал математику — мы сами или Вселенная? Может быть, математика...

Математика
0.0
0
0
How Not to Be Wrong
How Not to Be Wrong

How Not to Be Wrong

Математика
0.0
0
0
Высшая математика. Учебник
Высшая математика. Учебник

Учебник полностью охватывает материал, входящий в программу по высшей математике для студентов, обучающихся по всем перечисленным в его грифе специальностям. При изложении материала авторы сделали попытку свести до минимума язык кванторов, заменяя его четкими словесными объяснениями проводимых рассуждений, и внесли ряд методических усовершенствований. Материал учебника был апробирован при чтении...

Математика
9.0
0
0
Формирование элементарных математических представлений у дошкольников
Формирование элементарных математических представлений у дошкольников

В пособии даны методологические, теоретические и дидактические основы формирования элементарных математических представлений у детей дошкольного возраста. Раскрываются формы и методы обучения детей математике во всех возрастных группах детского сада, обосновывается необходимость систематической подготовки детей в дошкольных учреждениях к усвоению школьной программы.

Математика
0.0
0
0
Аффинная дифференциальная геометрия
Аффинная дифференциальная геометрия

Настоящая книга охватывает все основные разделы современной аффинной дифференциальной геометрии, из которых многие не вошли в существующие монографии. Кроме того, в русской оригинальной и переводной литературе руководства по аффинной геометрии вообще

Естественные науки
8.4
0
0
The Improbability Principle
The Improbability Principle

Why is it that incredibly unlikely phenomena actually happen quite regularly and why should we, in fact, expect such things to happen? Here, in this highly original book - aimed squarely at anyone with an interest in coincidences, probability or gambling - eminent statistician David Hand answers this question by weaving together various strands of probability into a unified explanation, which he c...

Математика
0.0
0
0
Введение в коммутативную алгебру
Введение в коммутативную алгебру

Атья - известный тополог и алгебраист, лауреат филдсовской премии - знаком читателю по русскому переводу его монографии "Лекции по К-теории" ("Мир", 1967). "Введение в коммутативную алгебру", написанное им совместно с И.Макдональдом, также основано на курсе лекций. Эта книга отличается исключительно удачным подбором материала, изложенного современно, лаконично и с предельной ясностью. Разобрав все...

Математика
0.0
0
0
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 15...

Математика
0.0
0
0
Языки и исчисления
Языки и исчисления

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...

Математика
0.0
0
0
Фуксовы дифференциальные уравнения и голоморфные расслоения
Фуксовы дифференциальные уравнения и голоморфные расслоения

В лекциях начала аналитической теории дифференциальных уравнений излагаются с точки зрения расслоений с мероморфными связностями на римановой сфере. Этот подход позволяет добиться значительного прогресса в решении таких знаменитых старых задач, как проблема Римана - Гильберта и задача о Биркгофовой стандартной форме, исследованию которых и посвящена книга. Лекции, начинающиеся с основ теории и тре...

Математика
0.0
0
0
Неразветвленная группа Брауэра и ее приложения
Неразветвленная группа Брауэра и ее приложения

Книга представляет собой учебник по арифметической геометрии. Изложение строится вокруг понятия неразветвленной группы Брауэра алгебраического многообразия. Освещенные в книге темы включают когомологии Галуа, группы Брауэра, препятствия к стабильной рациональности, арифметику и геометрию квадрик, ограничение скаляров по Вейлю, алгебраические торы, пример нерационального стабильно рационального мно...

Математика
0.0
0
0
Геометрия Лобачевского
Геометрия Лобачевского

Книга написана на основе курса лекций, читавшегося автором студентам первого курса Математического колледжа НМУ в осенних семестрах 1994-95, 1995-96, 1996-97 и 2002-03 учебных годов. Она содержит множество задач, предлагавшихся на семинарских занятиях. В книгу также включены полные тексты письменных экзаменов по этим курсам, а также по курсам О.В. Шварцмана (осенние семестры 1997-98 и 2001-02 учеб...