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

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

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

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

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


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

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

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

Кино
8.2
0
0
Симпсоны и их математические секреты
Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.

Математика
6.9
0
0
Математика для взрослых. Лайфхаки для повседневных вычислений
Математика для взрослых. Лайфхаки для повседневных вычислений

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

Математика
8.2
0
0
Аргументация и убеждение
Аргументация и убеждение

В книге предложена логико-когнитивная формализованная теория аргументации для моделирования трех видов аргументации - обоснования, убеждения и практической аргументации. Формальная часть теории проиллюстрирована примерами "кухонного" спора Н.Хрущева с Р.Никсоном и спора Протагора с Эватлом. Книга адресована логикам, философам, специалистам в области речевой коммуникации и может служить учебн...

Естественные науки
8.8
0
0
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса
Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Альберт Эйнштейн писал: "Как так получилось, что математика, продукт человеческой мысли, независимый от опыта, так прекрасно соотносится с объектами физической реальности?" Наука предлагает абстрактную математическую модель, а спустя какое-то время (иногда десятилетия) выясняется, что эта модель существует в реальности! Так кто же придумал математику — мы сами или Вселенная? Может быть, математика...

Математика
0.0
0
0
How Not to Be Wrong
How Not to Be Wrong

How Not to Be Wrong

Математика
0.0
0
0
Высшая математика. Учебник
Высшая математика. Учебник

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

Математика
9.0
0
0
Формирование элементарных математических представлений у дошкольников
Формирование элементарных математических представлений у дошкольников

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

Математика
0.0
0
0
Аффинная дифференциальная геометрия
Аффинная дифференциальная геометрия

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

Естественные науки
8.4
0
0
The Improbability Principle
The Improbability Principle

Why is it that incredibly unlikely phenomena actually happen quite regularly and why should we, in fact, expect such things to happen? Here, in this highly original book - aimed squarely at anyone with an interest in coincidences, probability or gambling - eminent statistician David Hand answers this question by weaving together various strands of probability into a unified explanation, which he c...

Математика
0.0
0
0
Введение в коммутативную алгебру
Введение в коммутативную алгебру

Атья - известный тополог и алгебраист, лауреат филдсовской премии - знаком читателю по русскому переводу его монографии "Лекции по К-теории" ("Мир", 1967). "Введение в коммутативную алгебру", написанное им совместно с И.Макдональдом, также основано на курсе лекций. Эта книга отличается исключительно удачным подбором материала, изложенного современно, лаконично и с предельной ясностью. Разобрав все...

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

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

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

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

Естественные науки
0.0
0
0
Математическая логика в программировании
Математическая логика в программировании

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

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

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

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

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