В этой книге в систематической форме и, фактически, начиная с , излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.
Жизнь человека полна забот и неурядиц, и порой хочется отвлечься от всего этого. А читая книги, ты будто отправляешься в другой мир и можешь побыть кем-то другим или посмотреть на этих других намного ближе и внимательнее. Это возможность оставить реальность в стороне и погрузиться в мир, представленный автором.
Книга Смальян Р «Теория формальных систем» относится к жанру наука и позволит получить новые знания и с успехом их использовать в своей жизни. Писателю максимально полно удалось передать свое видение на страницах книги. Каждый герой – особенная личность со своим внутренним миром, достойная внимания и изучения.
И важно, что всё, о чем пишет автор, вызывает интерес в любое время, потому что об этом думает каждый. По мере развития событий всё больше раскрывается смысл, заложенный автором в произведение, и это может заставить остановиться и задуматься. И хотя это история других людей, то, что сумел донести автор, может пригодиться в жизни каждому. На сайте можно читать книгу онлайн или скачать в формате djvu.
Редкостно сочетая научное осмысление и изложение столь же элегантное, как и объяснения, даваемые теорией, Брайан Грин срывает завесу таинства с теории струн, чтобы...
Научно-популярная книга двух выдающихся физиков - академика, лауреата Ленинской и Нобелевской премий Л.Д. Ландау и профессора Ю.Б. Румера - доступно и увлекательно...
Вторая книга серии «Астрономия и астрофизика» содержит обзор текущего состояния изучения планет и малых тел Солнечной системы. Обсуждаются основные результаты,...
В настоящей книге, написанной выдающимся американским математиком и популяризатором науки Мартином Гарднером, дается изложение специальной и общей теории относительности,...
В книге приводится ряд археологических свидетельств того, что человек существует гораздо дольше, чем принято обычно считать. Автор рассказывает, как эти свидетельства...
Популярная книга известного российского учёного, академика, доктора физических наук Г. И. Шипова посвящена одному из сложных вопросов современной физики - теории...
В своей книге «Мечты об окончательной теории» Стивен Вайнберг – Нобелевский лауреат по физике – описывает поиск единой фундаментальной теории природы, которая для...
Творчество изобретателей издавна связано с представлениями об «озарении», случайных находках и прирожденных способностях. Однако современная научно-техническая революция...
Отзывы читателей