High Quality Content by WIKIPEDIA articles! The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. In mathematical logic and computer science, lambda calculus, also written as ?-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. After the original system was...
High Quality Content by WIKIPEDIA articles! The rho-calculus is a formalism intended to combine the higher-order facilities of lambda calculus with the pattern matching of term rewriting. In mathematical logic and computer science, lambda calculus, also written as ?-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church in the 1930s as part of an investigation into the foundations of mathematics. After the original system was shown to be logically inconsistent (the Kleene–Rosser paradox), Church isolated and published in 1936[3] just the portion relevant to computation, what is now called the untyped lambda calculus.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Эта книга — первое полное жизнеописание И. А. Бунина (1870-1953), одного из самых известных русских писателей, признанного классика, лауреата Нобелевской премии по литературе (1933). Она построена на недавно обнародованных или впервые публикуемых архивных документах, особое место среди которых принадлежит материалам Бунинской коллекции в Русском архиве в Лидсе (Великобритания). В основу повествования,...
Мышь-полёвка отправляется в полёт вокруг света. Что, если первый полёт над Атлантикой был не единственным новаторским достижением, которым люди обязаны мышам? Что, если за историей знаменитой пионерки авиации и активного борца за права женщин Амелии Эрхарт тоже скрывается ранее никому не известная мышь?
«Укрытие» — новый сборник рассказов Алексея Колесникова, одного из самых ярких голосов современной прозы. Это продолжение вышедшей ранее «Экспроприации», где тревожное ожидание катастрофы сменяется её наступлением. Теперь герои вынуждены жить в новой реальности — прифронтовой, тревожной, будто бы сдвинутой с оси. Десять историй — от жёсткого реализма до гротеска и притчи, от иронии до...
Совместное творчество поэтов Алексея Хвостенко и Анри Волохонского, писавших в соавторстве под псевдонимом А. Х. В., — уникальный феномен. Коллективное письмо — само по себе нечастое явление в русской литературе, тем более когда ему удается достичь удивительного сочетания герметичной поэтики и массовой популярности. Сборник, посвященный творчеству двух легендарных фигур советского андеграунда и...
Издательство:
Новое литературное обозрение
Дата выхода: сентябрь 2024
Леонид Юзефович — писатель, историк, лауреат премий “Большая книга” и “Национальный бестселлер”. Автор романов “Казароза” и “Журавли и карлики”, историко-документальных книг “Самодержец пустыни” о бароне Унгерне и “Зимняя дорога. Генерал А.Н.Пепеляев и анархист И.Я.Строд в Якутии”. В книге “Маяк на Хийумаа” собраны рассказы разных лет, в том числе связанные с многолетними историческими...
Немногие книги о компьютерах оказали такое заметное влияние на управление разработкой программного обеспечения, как "Человеческий фактор". Уникальное озарение этой книги, долгие годы сохранявшей свое положение в списке бестселлеров: "Самые сложные проблемы разработки программного обеспечения носят не технический, но социальный характер. Эти человеческие проблемы решать не просто, однако, решив их, вы...
Оставить комментарий