Математическая логика в программировании
Автор: Ред. М. В. Захарьящев и Ю. И. Янов
Название: Математическая логика в программировании: Сб. статей 1980—1988 гг.
Издательство: Мир
Год: 1991
Страниц: 408
Формат: DJVU
Размер: 5,1 МБ
Качество: Отличное, 600дпи, цветные обложки
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей—известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Скачать с depositfiles
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12799 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Валентин Дикуль - Лечим спину от остеохондроза (2011) epub/fb2 2,97Мб
Боль в спине с возрастом становится постоянным и неприятным спутником. Боль не дает спать, мешает работать и может способствовать лишнему весу. Самая частая причина боли в спине – остеохондроз.Академи . . .
-
Энергогомеопатия. Теория и практика применения pdf 5,2Мб
Название: Энергогомеопатия. Теория и практика примененияАвтор: Никитин С.А.Издательство: Техарт-плазISBN: 5-87101-084-9Год: 2001Страниц: 144Язык: РусскийФормат: pdfРазмер: 5.2 МбКаждый, кто знаком с г . . .
-
Травинка № 2 2012 pdf 8,8Мб
Название: Травинка № 2 2012Год / месяц: 2011/январьАвтор:Коллектив Номер: 2Издательство: Северная неделяЯзык: русскийСтраниц: 16Формат: pdf Размер: 8.8 МбISBN 4-607089-600037-12005Травинка - матуш . . .
-
Валентин Дикуль - За рулем без боли в спине (2011) epub fb2 rtf 7,6Мб
Куда бы вы ни ехали, уже скоро после начала поездки начинает ныть спина. Если не предпринять меры, боль в шее или пояснице может стать хронической.Самый известный специалист по болезням позвоночника а . . .
-
Владимир Миркин - Как похудеть раз и навсегда. 11 шагов к стройной фигуре (2011) rtf, fb2 10,5Мб
В этой книге впервые наиболее полно изложена авторская методика похудения доктора Миркина. Вы узнаете, как худеть эффективно без вреда для здоровья, как бороться с "голодными приступами" с помощью сам . . .
-
Вистара Х. Гайдук - Диагностика заболеваний по лицу (2011) pdf 69,5Мб
Предупредить болезнь легче, чем лечить. Вовремя распознать сигналы нарушений, которые подает организм, поможет... ваше лицо. Глаза, нос, губы, щеки, подбородок дадут полную картину состояния вашего зд . . .
-
Никитин С.А - Жизнь без простуды (2009) pdf 3Мб
Эта книга посвящена применению гомеопатии при лечении простудных заболеваний. Подробность изложения и точность рекомендаций позволяют рекомендовать ее самому широкому кругу читателей, поскольку книга, . . .
-
Повседневная жизнь Москвы в сталинскую эпоху. 1920-1930 годы pdf 16,5Мб
Автор: Г. В. АндреевскийНазвание: Повседневная жизнь Москвы в сталинскую эпоху. 1920-1930 годыИздательство: Молодая гвардияГод: 2008Страниц: 556 c илл.ISBN: 978-5-235-03123-4Формат: pdfРазмер: 16.5 М . . .
-
Валентин Дикуль - Упражнения для позвоночника: для тех, кто в пути (2011) epub fb2 rtf 4,4Мб
Регулярный уход за любимым авто гораздо лучше стихийного бедствия капремонта. Цена вопроса выше в десятки раз, если речь идет о вашем здоровье. С больной спиной или шеей далеко не уедешь! Академик В.И . . .
-
Валентин Дикуль - Лечим спину от грыж и протрузий (2011) epub fb2 rtf 3,3Мб
Сидячий образ жизни, плохое питание, неправильный обмен веществ приводят к боли в спине отдающей в ноги. Врачи в таком случае часто говорят о грыжах и протрузиях.Легендарный специалист по проблемам по . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика в программировании. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.