Приложение
для AndroidПолное описание
004.43/Г 714
Горюнов, Юрий Юрьевич. Программирование на декларативных языках : учебное пособие / Ю. Ю. Горюнов, Т. Ю. Леонова ; Министерство науки и высшего образования Российской Федерации, Пензенский государственный университет (ПГУ). - Пенза : Изд-во ПГУ, 2025. - 85, [1] с. : ил., табл. - Библиогр.: с. 80 (8 назв.). - 33 экз. - ISBN 978-5-907934-91-7 : 146.06 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 50.05.09 | 004.432.4 |
Рубрики:
Программирования языки декларативные
Кл.слова (ненормированные): пролог -- домены -- предикаты -- алгоритмы -- унификация -- правила -- экспертные системы -- рефал-2 -- f#
Аннотация: Приведены необходимые теоретические сведения и материалы для проведения лабораторных работ по дисциплине "Программирование на декларативных языках". Издание разработано на кафедре "Компьютерные технологии" ПГУ и предназначено для обучающихся по направлению подготовки 01.03.02 "Прикладная математика и информатика", а также может быть полезно обучающимся бакалавриата смежных профилей, магистрантам, преподавателям, учителям информатики.
Доп. точки доступа:
Леонова, Татьяна Юрьевна
Пензенский государственный университет
Имеются экземпляры в отделах: всего 2 : ХРЦ (1), ХРР (1)
Свободны: ХРЦ (1), ХРР (1)
Обложка
Известия высших учебных заведений. Поволжский регион : научно-практический журнал. Общественные науки / Пензенский государственный университет. - Журнал выходит с 2003г. - Текст : непосредственный.Известия высших учебных заведений. Поволжский регион. : научно-практический журнал. Естественные науки / Пензенский государственный университет. - Журнал выходит с 2003г. - Текст : непосредственный.Известия высших учебных заведений. Поволжский регион. Технические науки : научно-практический журнал / Пензенский государственный университет. - Журнал выходит с 2002г. - Текст : непосредственный.Известия высших учебных заведений. Поволжский регион : научно-практический журнал. Физико-математические науки / Пензенский государственный университет. - Журнал выходит с 2007г. - Текст : непосредственный.Модели, системы, сети в экономике, технике, природе и обществе : научно-информационный журнал / Пензенский государственный университет . - Журнал выходит с 2011г. - Текст : непосредственный.Измерение. Мониторинг. Управление. Контроль : научно-производственный журнал / Пензенский государственный университет, Научно-исследовательский институт физических измерений. - Журнал выходит с 2012г. - Текст : непосредственный.Надежность и качество сложных систем : научно-практический журнал / Пензенский государственный университет. - Журнал выходит с 2013г. - Текст : непосредственный.Вестник Пензенского государственного университета : научный журнал / Пензенский государственный университет. - Журнал выходит с 2013г. - Текст : непосредственный.Никитина, О. Г. Математический анализ: функции нескольких переменных, ряды, дифференциальные уравнения : учебной пособие : в 3 ч. Ч. 2, 2017. - 99 с. - Текст : непосредственный.Лыгина М.А. Экспертные методы в управлении образовательными системами и социальной работе : учебное пособие / М. А. Лыгина, В. Е. Коноваленко, 2017. - 95 с.Экономика и международные отношения: проблемы, тенденции, перспективы : материалы I Всероссийской научно-практической конференции (31 мая 2017 г., Пенза) / Пензенский государственный университет (ПГУ), 2017. - 179 с.Розенберг Н.В. Социологические исследования в рекламе и связях с общественностью : учебное пособие / Н. В. Розенберг, М. К. Карпова, 2016. - 106 с.Болотский А.В. Оптимизационные процессы : учебное пособие / А. В. Болотский, 2017. - 79 с.Добрынина Н.Ф. Математическое моделирование в экономике : учебное пособие / Н. Ф. Добрынина, Д. В. Тарасов, 2017. - 67 с.Черушева, Т. В. Компьютерные технологии в математических исследованиях : учебное пособие : в 3 ч. Ч. 3, 2017. - 114 с.Добрынина Н.Ф. Математическое моделирование экономических процессов : учебное пособие / Н. Ф. Добрынина, Д. В. Тарасов, 2017. - 103 с.Родионов Ю.В. Повышение долговечности шаровых опор легковых автомобилей : [монография] / Ю. В. Родионов, А. А. Войнов, 2017. - 146 с.Родионов Ю.В. Технология производства пьезокерамических материалов автомобильных датчиков : [монография] / Ю. В. Родионов, О. Н. Логинов, 2017. - 155 с. - Текст : непосредственный.Артемова, Н. Е. Инженерная графика : учебное пособие : в 3 ч. Ч. 1 : Основы начертательной геометрии, 2017. - 125 с. - Текст : непосредственный.Бареева И.А. Основы менеджмента : учебное пособие / И. А. Бареева, 2017. - 325 с. - Текст : непосредственный.
Показать все результатыВзгляд в Turbo. Первое знакомство с Turbo Pascal 6.0 / ВЦП. - 5 с. - Текст : непосредственный.Язык со зрительным восприятием / ВЦП. - 13 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 168 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 154 с. - Текст : непосредственный.Среда формирования прикладных профессиональных программ (РАСЕ) VS : Справочное руководство по использованию интерфейса базового языка КОБОЛ (HLI) / ВЦП. - 140 с. - Текст : непосредственный.Руководство по программированию на языке WIZARD / ВЦП. - 133 с. - Текст : непосредственный.Руководство по языку системы Clarion / ВЦП. - 308 c. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Иванов В.В. Исследование и расширение возможностей системы программирования muLISP : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / В. В. Иванов, 1991. - 20 с. - Текст : непосредственный.Плисс О.А. Методы оптимизации при реализации объектно-ориентированных языков : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / О. А. Плисс, 1992. - 16 с. - Текст : непосредственный.Мансуров Н.Н. Реализация расширенного языка Рефал на односвязной списковой памяти : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Н. Н. Мансуров, 1992. - 16 с. - Текст : непосредственный.Турбо Паскаль 4.0/5.0 / ВЦП. - 316 c. - Текст : непосредственный.Операторы языка Natural AG. Раздел 2 / ВЦП. - 184 c. - Текст : непосредственный.Справочное руководство по системе Natural 2 / ВЦП. - 179 c. - Текст : непосредственный.Танев И.Т. Параллельная реализация пролога на базе гетерогенного мультипроцессора с общей памятью : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / И. Т. Танев, 1993. - 12 с. - Текст : непосредственный.Руководство по языку Турбо-Паскаль. Гл.16. Справочник по языку Турбо-Паскаль / ВЦП (Минск). - 159 c. - Текст : непосредственный.Приложения: А - сравнение Турбо-Паскаля 4.0 с АНСИ-Паскалем. В - директивы компилятору. С - справочные материалы. Д - сообщения об оплате и коды / ВЦП (Минск). - 49 c. - Текст : непосредственный.Справочное руководство по языку ПАСКАЛЬ. Гл.16. Разработка программ / ВЦП. - 105 c. - Текст : непосредственный.
Показать все результатыAll about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.], 2007 r=on-line.Constraint handling rules : current research topics / ed. T. Schrijvers [et al.], 2008 r=on-line.Горюнов, Юрий Юрьевич. Программирование на декларативных языках : учебное пособие / Ю. Ю. Горюнов, Т. Ю. Леонова, 2025. - 85, [1] с. - Текст (визуальный) : непосредственный.
Бухвалова В.В. DROL - язык спецификации для задач вычислительной геометрии : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. В. Бухвалова, 1995. - 15 с. - Текст : непосредственный.Хмельнов А.Е. Язык FlexT для спецификации бинарных форматов данных : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.11 / А. Е. Хмельнов, 2000. - 17 с. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Functional programming languages and computer architecture : Proc. of the 5th ACM conf. .. Aug. 26-30, 1991, Cambridge / Ed. J. Hughes, 1991. - VIII, 666 p. 666 p. - Текст : непосредственный.Groote J.F. Proof theory for CRL / J.F.Groote,A.Ponse, 1991. - 41 p. - Текст : непосредственный.Теория вычислимости и языки спецификации : Сб. науч. тр. / Науч. ред. Ю.Л.Ершов, С.С.Гончаров, 1991. - 192 с. - Текст : непосредственный.Замулин А.В. Algebraic specification language Ruslan 99 / А.В.Замулин, 1999. - 34 p. - Текст : непосредственный.Bate J.St.J. Fourth generation languages under DOS and UNIX / J.St.J.Bate,D.B.Vadhia, 1987. - VI,200 p. p. - Текст : непосредственный.Zwaang M.B.van der Time-stamped actions in pCRL algebras / M.B.van derZwaang, 2000. - 13 p. - Текст : непосредственный.Бакулин А.В. Математическая модель языка спецификации и проектирования программ / А.В.Бакулин, 1991. - 25 с. - Текст : непосредственный.Practical aspects of declarative languages : Second intern. workshop, PADL 2000,Boston(Ma), USA, Jan.17-18 2000Proc. / PADL'00, 2000. - X,323 p. p. - Текст : непосредственный.Implementation of functional languages : 11th intern.workshop, Lochem, Sept.7-10, 1999: Proc. / Ed.: P. Koopman, C. Clack, 2000. - 198 p. - Текст : непосредственный.Технология построения языков спецификаций классов задач, ориентированных на пользователей : автореф. дис. .. д-ра физ.-мат. наук : 05.13.11 / А. А. Москвитин, 2004. - 31 с. - Текст : непосредственный.Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007: proceedings / ed. M. Hanus, 2007 r=on-line.All about maude - a high-performance logical framework : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.], 2007 r=on-line.Implementation and application of functional languages : 19th International workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007: revised selected papers / ed. O. Chitil [et al.], 2008 r=on-line.Practical aspects of declarative languages : 11th international symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009: proceedings / eds. A. Gill, T. Swift, 2009 r=on-line.Logics of specification languages / eds. D. Bjorner, M. Henson, 2008 r=on-line.Practical aspects of declarative languages : 7th Intern. symp., PADL 2005, Long Beach, Ca, USA, Jan. 10-11, 2005: proc. / ed. : D. Cabeza, M. Hermenegildo, 2005 r=on-line.Implementation and application of functional languages : 16th international workshop, IFL 2004 Lubeck, Germany, September 8-10, 2004: revised selected papers / ed. C. Grelck [et al.], 2005 r=on-line.
Показать все результатыЗаказ фрагмента документа ₽