Б88 Брой, М. Информатика. Основополагающее введение [Текст] : в 4 частях : перевод с немецкого / М. Брой. - М. : Диалог-МИФИ, 1996 - . Ч. 4 : Теоретическая информатика, алгоритмы и структуры данных, логическое программирование, объектная ориентация. - 1998. - 224 с. - 27.00 р. Кл.слова (ненормированные): Науковедение -- информатика -- Электроника -- объектно-ориентированное программирование -- логическое программирование -- алгоритмы -- структуры данных Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К47 Кларк, К. Введение в логическое программирование на микро-прологе [Текст] / К. Кларк, Ф. Маккейб Ф.; Пер. с англ. А.И. Горлина; Под ред. В.В. Мартынова. - М. : Радио и связь, 1987. - 312 с. - 1.70 р.
Кл.слова (ненормированные): Электроника -- программирование -- информатика -- логическое программирование -- язык программирования Prolog -- пролог Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
М59 Микропроцессоры: В 3 книгах [Текст] / П.В. Нестеров, В.Ф. Шаньгин, В.Л. Горбунов и др.; Под ред. Л.Н. Преснухина. - М. : Высш. школа, 1986 - . Кн.1 : Архитектура и проектирование микро-ЭВМ. Оргнанизация вычислительных процессов: Учеб. для ин-тов. - 495 с. : ил. - 1.20 р.
Кл.слова (ненормированные): Математика -- АДА -- C -- PLZ/SYS -- FORTH -- ПАСКАЛЬ -- ФОДОС -- микро-ЭВМ -- операционные системы -- языки программирования -- вычислительные алгоритмы -- логическое программирование -- вычислительная техника Доп.точки доступа: Нестеров П.В. \авт.\; Шаньгин В.Ф. \соавт.\; Горбунов В.Л. \соавт.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
А28 Адаменко, А. Н. Логическое программирование и Visual Prolog + CD [Текст] / А. Н. Адаменко. - СПб. : БХВ-Петербург, 2003. - 992 с. : ил. эл. опт. диск. - 310.00 р.
Кл.слова (ненормированные): Науковедение -- Visual Prolog -- Электроника -- компьютеры -- руководство -- программирование -- логическое программирование -- CD Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Г95 Гуров, В. В. Основы теории и организации ЭВМ: Учеб. пособие [Текст] / В. В. Гуров. - М. : Интернет-Университет Информационных технологий: БИНОМ. Лаборатория знаний, 2006. - 272 с. : ил. - (Основы информационных технологий). - 220.00 р.
Кл.слова (ненормированные): Электроника -- логическое программирование -- логические средства -- логические системы -- коды -- кодирование -- Математика -- арифметико-логические устройства -- архитектура эвм и системное программное обеспечение -- архитектура компьютера -- арифметические устройства -- управление Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
С 32 Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника" / Г.М. Сергиевский, Н.Г. Волченков. - М. : Академия, 2010. - 320 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-6433-8 : Б.ц. р. Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИНТЕРНЕТ-РЕСУРСЫ -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ -- ТИПЫ ФУНКЦИЙ -- КАРРИРОВАНИЕ -- ЛЯМБДА-ВЫРАЖЕНИЕ -- СТРУКТУРЫ ДАННЫХ -- БАЗИСНЫЕ ОПЕРАЦИИ -- ПРЕДИКТЫ -- ПРОЛОГ Аннотация: Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell — лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования. Доп.точки доступа: Волченков, Н.Г. Экземпляры всего: 16 2к (16) Свободны: 2к (16) |