Аннотация к книге "Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6"
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Готовы ли вы ощутить реальность так, как переживали ее аскеты и маги древней Индии две с половиной тысячи лет назад? И если да, хватит ли у вас на это денег? Стартап "Fuji experiences” действует не в Силиконовой долине, а в российских реалиях, где требования к новому бизнесу гораздо жестче. Люди, способные профинансировать новый проект, наперечет... Но эта книга – не только о проблемах российских стартапов. Это о...
Написание качественного кода на C++ не должно быть трудной задачей. Если разработчик будет следовать рекомендациям, приведенным в C++ Core Guidelines, то он будет писать исключительно надежные, эффективные и прекрасно работающие программы на C++. Но руководство настолько переполнено советами, что порой трудно понять, с чего начать. Начните с «Красивого C++»! Опытные программисты Гай Дэвидсон и Кейт Грегори...
Одной кнопкой пригласить на праздник всех друзей, придумать игру с бесстрашной скейтершей, обучить компьютер угадывать цифры... Если у вас в руках творение великого Джобса — вы можете сами придумать начинку! Из этого самоучителя вы узнаете, как программировать на Swift — языке, на котором написаны мобильные приложения для Apple. Современный и функциональный Swift легко изучать. Он интуитивно понятен...
Издательство:
Манн, Иванов и Фербер
Дата выхода: январь 2018
Оставить комментарий