 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
Босс В.
Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя
Либроком, 2017 Страниц: 208 Формат: 62x90/16 Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек.Для студентов, преподавателей, инженеров и научных работников. Категории каталога: Основания математики. Математическая логика. Теория чисел |
|
Студенту на заметку:
Эксперты продемонстрировали новую связь кишечника с мозгом
Эксперты продемонстрировали новую связь кишечника с мозгом человека. Об этом стало известно Evo-rus.com.
Эксперты назвали напиток, способный защитить отPдеменции
В эксперименте участвовали 377 592 добровольца в возрасте около 58 лет. Ученые пришли к выводу, что потребление в среднем 6 чашек чая в день может затормозить развитие недуга на 160!9%. У тех, кто пил напиток в меньших количествах, риск развития деменции оказался на 250"9% ниже.
|
