Аннотация к книге "The Cruelty of Really Teaching Computer Science"
High Quality Content by WIKIPEDIA articles! “The Cruelty of Really Teaching Computing Science” is a 1988 paper by E. W. Dijkstra, which argues that computer programming should be understood as a branch of mathematics, and that the formal provability of a program is a major criterion for correctness. Despite the title, most of the article is on Dijkstra's attempt to put computer science into a wider perspective within science, teaching being addressed as a corollary at the end. Specifically,...
High Quality Content by WIKIPEDIA articles! “The Cruelty of Really Teaching Computing Science” is a 1988 paper by E. W. Dijkstra, which argues that computer programming should be understood as a branch of mathematics, and that the formal provability of a program is a major criterion for correctness. Despite the title, most of the article is on Dijkstra's attempt to put computer science into a wider perspective within science, teaching being addressed as a corollary at the end. Specifically, Dijkstra made a “proposal for an introductory programming course for freshmen” that consisted of Hoare logic as an uninterpreted formal system.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
«Чагин» — роман о памяти, времени и человеке, которого мучают эти неподвластные ему силы. Время и память — излюбленные темы Водолазкина: им посвящены в той или иной степени все его романы, от «Лавра» до «Оправдания Острова». В «Чагине» писатель раскрывает новую грань этой темы, персонифицируя память в образе человека. Архивист, сотрудник Городской библиотеки Санкт‑Петербурга Исидор Чагин обладает...
Книга знакомит читателей с результатами 25-летнего исследования образа жизни и состояния здоровья самых долгоживущих людей на Земле — жителей Окинавы. Анализируются причины их долголетия и сохранения здоровья и бодрости в глубокой старости, включая все аспекты - от режима питания и физической активности до духовных устремлений и социальных контактов. Авторы неоднократно подчеркивают, что общие...
Издательство:
Рипол Классик
Дата выхода: январь 2018
«Республика счастья» — продолжение нашумевшего бестселлера Ито Огавы «Канцтовары Цубаки» . Однако для чтения этой книги предысторию знать не обязательно. Ее героиня — все та же молодая каллиграфесса Хатоко, владеющая очень древним искусством — сочинять за людей важные письма в особо трудных и деликатных ситуациях. А пока она разматывает запутанные клубки чужих страстей, самолюбий...
Издательство:
Поляндрия NoAge
Дата выхода: январь 2024
от автора "Замок из стекла" В России продано 300 000 книг Джаннетт Уоллс. Когда Салли Кинкейд была ребенком, мачеха выставила ее из дома, отдав на воспитание тете. Но спустя девять лет Салли вернулась, чтобы занять свое место в семье и бизнесе. Многие годы Кинкейды занимались производством виски, однако «Сухой закон» ставит семейное дело под удар. Салли бросает вызов условностям: отказывается...
Перевод с персидского, послесловие, комментарии: А. А. Ромаскевич. Иллюстрации (50 страниц): Г. Чачанидзе. Сказки, включенные в сборник, в основном были записаны известным ученым, иранистом Александром Александровичем Ромаскевичем (1885—1942) во время его научных экспедиций в Персию (ныне Иран) в 1913 и 1914 годах. При переводе сказок ученый стремился сохранить все особенности разговорного языка своих...
Немногие книги о компьютерах оказали такое заметное влияние на управление разработкой программного обеспечения, как "Человеческий фактор". Уникальное озарение этой книги, долгие годы сохранявшей свое положение в списке бестселлеров: "Самые сложные проблемы разработки программного обеспечения носят не технический, но социальный характер. Эти человеческие проблемы решать не просто, однако, решив их, вы...
Оставить комментарий