Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя Год выпуска: 2012Автор: В. БоссИздательство: Либроком, УРСССтраниц: 208ISBN: 978-5-397-03412-8Описание Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Похожие книги
Под редакцией В.А. Насоновой, Н.В. Бунчука. Избранные лекции по клинической ревматологии. – М.: Медицина, 2001. – 272 с. В.Босс. Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. – М.: Либроком, УРСС, 2012. – 208 с. В.Босс. Лекции по математике. Том 12. Контрпримеры и парадоксы. – М.: Либроком, 2009. – 216 с. В.Босс. Лекции по математике. Том 3. Линейная алгебра. – М.: Либроком, 2011. – 224 с. У.Г. Вагнер, Ф.Б. Мориниго, Р.Ф. Фейнман. Фейнмановские лекции по гравитации. – М.: Янус-К, 2000. – 296 с. М.Любавский. Лекции по древней русской истории до конца XVI века. – СПб.: Лань, 2000. – 480 с. Ю.В. Рождественский. Лекции по общему языкознанию. – М.: Академкнига, Добросвет, 2012. – 344 с. А.К. Хрулев, В.П. Черепанов. Зарубежные диоды и их аналоги. Справочник-каталог. В 6 томах. Том 6. – М.: РадиоСофт, 2001. – 960 с. В.Босс. Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Учебное пособие. – М.: Либроком, 2015. – 208 с. Босс В. Лекции по математике: Контрпримеры и парадоксы / Т.12. Изд.3. – М.: , 2016. – с. В.Босс. Лекции по математике. Том 1. Анализ. Учебное пособие. – М.: Либроком, 2016. – 216 с. Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике: Т.6: ЭЛЕКТРОДИНАМИКА. Пер. с англ. / Т.6. Изд.9. – М.: , 2016. – с. Босс В. Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. – М.: Либроком, 2017. – 208 с. В.Босс. Лекции по математике. Том 10. Перебор и эффективные алгоритмы. Учебное пособие. – М.: ЛКИ, 2017. – 216 с. В.Босс. Лекции по математике. Том 1. Анализ. – М.: Ленанд,Едиториал УРСС, 2018. – 216 с. О.В. Узорова, Е.А. Нефедова. 3000 примеров по математике. 1 класс. Устный счет. Счет от 1 до 10. – М.: АСТ, 2018. – 16 с. В.Босс. Лекции по математике. Том 6. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. – М.: Либроком, 2019. – 208 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Евгения Здравствуйте Марина! Хочу сказать большое спасибо за консультацию. Пришлось доработать текст под себя, кое что ещё и дописать. Но в целом, неплохо.
