𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Математическая логика в программировании [Сборник переводов статей]

✍ Scribed by Захарьящев М.В., Янов Ю.И. (ред)

Book ID
127424131
Publisher
Мир
Year
1991
Tongue
Russian
Weight
6 MB
Series
Математическое обеспечение ЭВМ
Category
Library
City
Москва
ISBN-13
9785030016351

No coin nor oath required. For personal study only.

✦ Synopsis

Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.

📜 SIMILAR VOLUMES

Сборник материалов по истории предков ца
Сборник материалов по истории предков царя Михаила Феодоровича Романова. Генеалогический и исторический материал по печатанным источникам. Часть 01
📂 Standards 📅 1898 ⚖ 427 KB

Родословная рода Захарьиных-Юрьевых-Романовых, составленная Н.Н.Селифонтовым по материалам Н.П.Сахарова. Сборник является классическим справочником по истории дома Романовых, крайне полезен для тех, кто занимается биографическими и родословными исследованиями. Также данный сборник будет интересен вс

Справочное пособие по высшей математике:
Справочное пособие по высшей математике: В 4 т. / 2 Математический анализ: ряды, функции векторного аргумента Том 2
✍ Анти-Демидович (Ляшко И.И., и др.). 📂 Library 📅 2001 🌐 Russian ⚖ 2 MB

Пособие предназначено для студентов, преподавателей и работников физико-математических, экономических и инженерно-технических специальностей

Тайны катынской трагедии [Материалы «кру
Тайны катынской трагедии [Материалы «круглого стола» по теме «Катынская трагедия: правовые и политические аспекты», проведённого 19 апреля 2010 года в Государственной Думе федерального Собрания Российской федерации]
📂 Standards 📅 2010 🌐 Russian ⚖ 166 KB

В сборнике представлены выступления участников «круглого стола» на тему «Катынская трагедия: правовые и политические аспекты» — известных историков, политологов, юристов, общественных деятелей. Читатели с интересом воспримут итоговые материалы «круглого стола», прежде всего «Рецензию на Заключение

Сборник задач по аналитической геометрии
Сборник задач по аналитической геометрии и линейной алгебре: учеб. пособие для студентов ун-тов, обучающихся по специальностям ''Математика'' и ''Приклад. математика''
✍ Смирнов Ю.М. (ред.) 📂 Library 📅 2006 🏛 Логос 🌐 Russian ⚖ 5 MB

Представлены задачи по аналитической геометрии и линейной алгебре. Теоретические задачи, как правило, сопровождаются упражнениями различной трудности, способствующими самостоятельной проверке обучаемыми степени понимания ими новых определений и алгоритмов. По сравнению с первым изданием (М.: ФИЗМАТЛ

Битва при черной дыре: Мое сражение со С
Битва при черной дыре: Мое сражение со Стивеном Хокингом за мир, безопасный для квантовой механики
📂 Standards 📅 2013 🏛 Питер 🌐 Russian ⚖ 2 MB

Что происходит, когда объект падает в черную дыру? Исчезает ли он бесследно? Около тридцати лет назад один из ведущих исследователей феномена черных дыр, ныне знаменитый британский физик Стивен Хокинг заявил, что именно так и происходит. Но оказывается, такой ответ ставит под угрозу все, что мы зн