Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Функциональное и логическое программирование [учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника"] Г. М. Сергиевский, Н. Г. Волчёнков

By: Сергиевский, Георгий МаксимовичContributor(s): Волченков, Николай ГеннадьевичMaterial type: TextTextSeries: Высшее профессиональное образованиеPublication details: Москва Академия 2010Description: 317, [1] с. илISBN: 9785769564338Subject(s): учебные издания для вузов | языки программирования декларативные | языки функционального программирования | языки логического программирования | Интернет-ресурсы | типы функций | каррирование | лямбда-выражение | структуры данных | определения функций | приемы программирования | конструирование функций | доказательство свойств программ | трансформации программ | EURICA | комбинаторная логика | лямбда-исчисление | стратегии вычислений | частичные вычисления | Лисп | Haskell | логическое программирование | Пролог | синтаксис (Пролог) | встроенные предикаты | синтаксический анализ | эвристический поиск | задачи искусственного интеллекта
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Выдается в читальный зал Научная библиотека ТГУ Книгохранилище 1-992321к (Browse shelf(Opens below)) Available 13820000750030
6 месяцев Научная библиотека ТГУ Абонемент. Депозитарий 004 С323 (Browse shelf(Opens below)) Available 13820000750031
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
No cover image available
1-992317к Литература учебник для 6 класса общеобразовательных учреждений : в 2 ч. Ч. 1 1-992318к Литература учебник для 6 класса общеобразовательных учреждений : в 2 ч. Ч. 2 1-992320к Теория информационных процессов и систем [учебник для студентов вузов, обучающихся по направлению подготовки "Информационные системы" 1-992321к Функциональное и логическое программирование [учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника"] 1-992322к Интеллектуальные информационные системы [учебное пособие для студентов высшего профессионального образования] 1-992324к Маркетинг библиотечно-информационной деятельности методическая разработка для семинарских и практических занятий, самостоятельной работы студентов, специальность 071900-библиотечно-информационая деятельность 1-992326к К. И. Рубинский: библиотекарь, библиотековед, библиограф (1860-1930)

Библиогр.: с. 313-314

There are no comments on this title.

to post a comment.