Уведомлений еще не было
Оцените книгу
1
2
3
4
5
6
7
8
9
10
Ваша оценка 0
Полная книга
Скачать

Описание книги

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

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

  • Просмотров: 114
  • Рецензий: 0
Информация об издании


К этой книге не добавлены цитаты
Эта книга еще не добавлена в подборки
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ персонажи
К ЭТОЙ КНИГЕ НЕ ДОБАВЛЕНЫ ТЕСТЫ
ОГЛАВЛЕНИЕ ОТСУТСТВУЕТ
КНИГА НЕ УПОМИНАЛАСЬ В БЛОГАХ

Рецензии на книгу

Написано 0 рецензий

Философия
8.6
0
0
Почему существует наш мир? Экзистенциальный детектив
Почему существует наш мир? Экзистенциальный детектив

Вопрос, вынесенный на обложку, волнует человечество с незапамятных времен. Чтобы ответить на него, автор – американский философ Джим Холт – предпринимает настоящее детективное расследование. Откуда взялась Вселенная? Почему и куда исчезло Ничто? Кто все это сделал? Постепенно мы начинаем догадываться, что Бог и Природа — не единственные подозреваемые… Это книга для каждого, кто хочет лучше узнать...

Естественные науки
8.6
0
0
Отпечатки жизни. 25 шагов эволюции и вся история планеты
Отпечатки жизни. 25 шагов эволюции и вся история планеты

Автор множества бестселлеров, палеонтолог Дональд Протеро превратил научное описание двадцати пяти знаменитых прекрасно сохранившихся окаменелостей в увлекательную историю развития жизни на Земле. Двадцать пять окаменелостей, о которых идет речь в этой книге, демонстрируют жизнь во всем эволюционном великолепии, показывая, как один вид превращается в другой. Мы видим все многообразие вымерших ра...

Естественные науки
8.9
0
0
Кислород. Молекула, изменившая мир
Кислород. Молекула, изменившая мир

С тех пор как в 1770-х годах кислород был открыт, ученые горячо спорят о его свойствах. Этот спор продолжается по сей день. Одни объявляют кислород эликсиром жизни — чудесным тонизирующим препаратом, лекарством против старения, косметическим средством и перспективным методом лечения. Другие воспринимают его как огнеопасное вещество и страшный яд, который в конце концов уничтожит нас всех. Ник ...

Естественные науки
8.0
0
0
Новая история происхождения жизни на Земле
Новая история происхождения жизни на Земле

Общепринятая история происхождения жизни на Земле устарела. Двое ученых Питер Уорд и Джозеф Киршвинк предлагают книгу, в которой собраны все выводы последних исследований. Авторы показывают, что многие наши прежние представления об истории происхождения жизни неверны. Во-первых, развитие жизни не было неторопливым, постепенным процессом: катаклизмы способствовали формированию жизни больше, чем все...

История
8.2
0
0
Восхождение человечества. Предисловие Ричарда Докинза
Восхождение человечества. Предисловие Ричарда Докинза

У каждой эпохи есть своя поворотная точка — возникновение нового взгляда на мир. В этой книге Джейкоб Броновски приглашает вас в путешествие по вершинным достижениям человека, нашей интеллектуальной истории. Первые опыты алхимиков, сложные арифметические выкладки астрономов майя, астрономические часы в Европе, каменные сооружения Мачу-Пикчу и многое другое, что оказывало существенное влияние на ра...

Естественные науки
6.6
0
0
Как информация управляет миром
Как информация управляет миром

Наша Вселенная состоит из материи и энергии, но по-настоящему осязаемой и понятной ее делает наличие информации. Она скрывается в каждой форме и закономерности, упорядочивая наш мир и придавая ему смысл. Больша часть книги посвящена Земле и живущим на ней существам, потому что нигде во Вселенной не найти бальшего количества информации. Но почему она находится на нашей планете в таких объемах и как...

Естественные науки
8.4
0
0
Мозг. Как он устроен и что с ним делать
Мозг. Как он устроен и что с ним делать

В книге раскрываются принципы устройства и работы самого загадочного человеческого органа. Автор последовательно излагает ключевые моменты организации мозга и на их основе объясняет механизмы поведения не только человека, но и социума. Читатель узнает об истоках некоторых наших эмоций, привычек, зависимостей. А также получит ряд практических рекомендаций, как эффективнее использовать свой мозг. Дл...

Естественные науки
8.5
0
0
Давай поговорим про ЭТО: о девочках, мальчиках, младенцах, семьях и теле
Давай поговорим про ЭТО: о девочках, мальчиках, младенцах, семьях и теле

По мнению психологов, с ребенком нужно говорить на деликатные темы, связанные с изменениями в теле, различиями между мальчиками и девочками, их отношениями, беременностью мамы, рождением и усыновлением. Неоценимую помощь в этом вопросе вам окажет книга "Давай поговорим про ЭТО: девочках, мальчиках, младенцах, семьях и теле", которая ответит на большинство вопросов ребенка и сведет к минимуму смуще...

Естественные науки
8.2
0
0
Синтез ДНК
Синтез ДНК

Эта книга - исчерпывающая сводка по биохимическим аспектам синтеза ДНК. Рассматриваются история вопроса, основы структурной организации, биосинтез предшественников ДНК, свойства ДНК-полимераз, дезоксирибонуклеазы, РНК-полимеразы, процессы репликации и транскрипции, синтез генов и другие вопросы.

Естественные науки
8.4
0
0
Южный полюс. Амундсен против Скотта
Южный полюс. Амундсен против Скотта

Гонка к Южному полюсу была сродни драматическому триллеру, в котором силы природы решили потягаться с сильными мужчинами, проверив их самих, технические средства и собак на прочность. В новой книге Бьёрна Оусланда читатель параллельно следит за двумя экспедициями героических исследователей: англичанина Роберта Фалькона Скотта и норвежца Руальда Амундсена. Автор нашел верную интонацию и изобразите...

Программирование
0.0
0
0
Алгоритмы + структуры данных = программы
Алгоритмы + структуры данных = программы

Монография известного швейцарского специалиста по системному программированию, знакомого советским читателям по переводу его книги «Систематическое программирование. Введение» (М.: Мир, 1977). Она содержит описание и анализ основных алгоритмов, методов построения программ. Книгу можно использовать и как руководство по применению языка Паскаль в задачах математического обеспечения ЭВМ. Для научных...

Математика
0.0
0
0
Логическое программирование
Логическое программирование

Сборник работ зарубежных специалистов, отражающий современное со­стояние в новом направлении программирования, тесно связанном с матема­тической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник вклю­чен специально написанный обзор литературы по...

Экономика
8.0
0
0
Структурное программирование
Структурное программирование

Обобщен опыт программирования на примерах решения ряда миниатюрных задач по программированию. Последовательно рассматриваются данные различной степени сложности. Эта тематика весьма актуальна, поскольку в практике программирования приходится иметь дело со все более сложными структурами данных. Систематическое изложение иерархических принципов в программировании и имеет непосредственное отношение к...

Программирование
0.0
0
0
Программирование таблиц решений
Программирование таблиц решений

Книга посвящена изложению методов трансляции с одного из непроцедурных языков программирования - с языка таблиц решений. Программы, написанные на этом языке, позволяют удобно описывать сложные ситуации, возникающие при системном анализе. Таблицы решений представляют собой новый перспектив­ный метод программирования, который находит применение при решении многих задач системного анализа. Книга п...

Программирование
8.0
0
0
Язык Фортран 77
Язык Фортран 77

Фортран - один из первых языков программирования. Его различные диалекты обобщены в новом стандарте, включающем современные управляющие структуры, дополнительные типы данных, средств ввода-вывода. Для программистов, разработчиков программного обеспечения, студентов и аспирантов вузов.