Полное описание
>
004.42/С 600
Солдатов, Антон Александрович. Рекурсивно-логическое программирование : учебное пособие / А. А. Солдатов ; Министерство науки и высшего образования Российской Федерации, Чувашский государственный университет имени И. Н. Ульянова. - Чебоксары : Изд-во Чувашского ун-та, 2022. - 171 с. : ил. - Библиогр.: с. 168-169 (15 назв.). - 200 экз. - ISBN 978-5-7677-3547-1 : 200 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 50.05.13 | 004.42.047 |
Рубрики:
Программирование для ЭВМ логическое
Кл.слова (ненормированные): история -- программы -- программирования языки - visual prolog -- среды разработки -- синтаксис -- искусственный интеллект -- экспертные системы -- нейронные сети
Аннотация: Приводится широкий спектр вопросов логического программирования при помощи среды программирования Visual Prolog. Рассматриваются математические основы логического программирования, история, идеи и методы этого направления, его применение в задачах искусственного интеллекта и экспертных системах. Теоретический материал сопровождается практикумом в виде лабораторных работ по изложенной тематике. Для обучающихся бакалавров по направлению подготовки 02.03.03 "Математическое обеспечение и администрирование информационных систем", а также для специалистов в области программирования.
Доп. точки доступа:
Чувашский государственный университет имени И. Н. Ульянова (Чебоксары)
>
Имеются экземпляры в отделах: всего 2 : ХРЦ (2)
Свободны: ХРЦ (2)
Обложка
Солдатов, Антон Александрович. Рекурсивно-логическое программирование : учебное пособие / А. А. Солдатов, 2022. - 171 с. - Текст (визуальный) : непосредственный.Солдатов, Антон Александрович. Компьютерная графика : учебное пособие / А. А. Солдатов, 2022. - 147 с. - Текст : непосредственный.Пичугин, Владимир Николаевич. Теория трансляций и низкоуровневое программирование : учебное пособие / В. Н. Пичугин, А. А. Солдатов, 2024. - 91, [1] с. - Текст (визуальный) : непосредственный.Пичугин, Владимир Николаевич. Создание программного инструмента с элементами искусственной нейронной сети для прогнозирования данных / В. Н. Пичугин, А. А. Солдатов, Е. Р. Тюрюшова. - Текст : непосредственный // Вестник Новосибирского государственного университета. Серия: Информационные технологии : научный журнал. - Новосибирск : НГУ, 2023. - Том 21 N 4. - с. 71-78Пичугин, Владимир Николаевич. Объектно-ориентированное и визуальное программирование : учебное пособие / В. Н. Пичугин, А. А. Солдатов, 2024. - 299 с. - Текст (визуальный) : непосредственный.Солдатов, Антон Александрович. Разработка нейросетевого метода и программного инструмента оценки потерь электроэнергии / А. А. Солдатов, В. Н. Пичугин, Е. Р. Тюрюшова. - Текст : непосредственный // Программные продукты и системы : научный журнал. - Тверь : Центрпрограммсистем, 2024. - Том 37 N 2. - с. 289-294
Рекурсивно-логическое программирование : учеб. пособие / С. А. Савушкин, 2009. - 86 с. - Текст : непосредственный.Черкашин Е.А. Рекурсивно-логическое программирование : учеб. пособие / Е. А. Черкашин, 2013. - 109 с.Пичугин В.Н. Рекурсивно-логическое программирование : учеб. пособие / В. Н. Пичугин, М. П. Немкова, 2016. - 175 с.Солдатов, Антон Александрович. Рекурсивно-логическое программирование : учебное пособие / А. А. Солдатов, 2022. - 171 с. - Текст (визуальный) : непосредственный.
Вестник Чувашского университета : научный журнал / Чувашский государственный университет имени И. Н. Ульянова (Чебоксары). - Журнал выходит с 1995г. - Текст : непосредственный.Наука. Студент. Университет : сборник трудов Всероссийской 51-й научной студенческой конференции / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 411 с.Проблемы и перспективы развития энергетики, электротехники и энергоэффективности : материалы I Международной научно-технической конференции / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 271 с.Экономика и экология: тренды, проблемы, решения : материалы Международной научно-практической конференции, 23-24 ноября 2017 г. / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 479 с.Проблемы и перспективы развития социально-экономического потенциала российских регионов : материалы VI Всероссийской электронной научно-практической конференции, 25 апреля - 25 мая 2017 г. / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 458 с.Научно-методическая библиотека : серия / Чувашский государственный университет имени И. Н. Ульянова, Центр научного сотрудничества "Интерактив плюс". Вып. 10 : Образование и наука: современные тренды : коллективная монография / [гл. ред. О. Н. Широков], 2017. - 133 с.Науки о земле: от теории к практике (Арчиковские чтения - 2017) : сборник материалов Всероссийской молодежной школы-конференции, посвященной 25-летию кафедры физической географии и геоморфологии им. Е. И. Арчикова и 50-летию ФГБОУ ВО "Чувашский государственный университет им. И. Н. Ульянова", г. Чебоксары, 21-23 ноября 2017 г. / Чувашский государственный университет имени И. Н. Ульянова, Чувашское республиканское отделение ВОО "Русское географическое общество", 2017. - 358 с.Студенческая наука: современные реалии : сборник материалов III Международной студенческой научно-практической конференции, [29 ноября 2017 г., Чебоксары] / Чувашский государственный университет имени И. Н. Ульянова [и др.], 2017. - 227 с.Стратегические направления развития отраслей российской экономики и ее интеграция в мировую экономическую систему : материалы Международной научно-практической конференции, г. Чебоксары, 20 октября 2017 г. / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 195 с.Проказов С.Н. Защита генераторов и блоков генератор-трансформатор с использованием микропроцессорных устройств : учебное пособие / С. Н. Проказов, В. Я. Васильева, В. И. Антонов, 2017. - 75 с. - Текст : непосредственный.Приоритетные направления развития образования и науки : сборник материалов IV Международной научно-практической конференции / Чувашский государственный университет имени И. Н. Ульянова [и др.], 2017. - 316 с.Бюджетное планирование социально-экономического развития моногородов Чувашской Республики / Н. В. Морозова [и др.] ; [науч. ред. Н. В. Морозова], 2017. - 136 с. - Текст : непосредственный.Хураськина Н.В. Формирование эколого-правовой компетенции обучающихся в системе непрерывного образования / Н. В. Хураськина, Е. В. Иванова ; [науч. ред. А. Д. Димитриев], 2017. - 163 с.Химия природных соединений : практикум / Г. П. Павлов [и др.], 2017. - 215 с.Прокопьев А.В. Производственный менеджмент : учебное пособие / А. В. Прокопьев, К. В. Плешков, 2017. - 67, [1] с.Мукин В.А. Общие проблемы философии науки : учебное пособие / В. А. Мукин ; [отв. ред. В. А. Федотов], 2017. - 215 с.Техника высоких напряжений : учебно-методическое пособие / Чувашский государственный университет имени И. Н. Ульянова, 2017. - 124 с. - Текст : непосредственный.Наука, образование, общество: тенденции и перспективы развития : сборник материалов IX Международной научно-практической конференции / Чувашский государственный университет имени И. Н. Ульянова [и др.], 2018. - 314 с. - Текст : непосредственный.РОСТ. Развитие. Образование. Стратегии. Технологии : сборник материалов I Всероссийской студенческой научной конференции, Чебоксары, 26-27 октября 2017 г. / Чувашский государственный университет имени И. Н. Ульянова, 2018. - 382 с.Рябинина Э.Н. Механизм программного бюджетирования в субъектах Приволжского федерального округа в системе обеспечения социальной безопасности населения / Э. Н. Рябинина, Н. В. Березина, О. Г. Аркадьева, 2017. - 175 с.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыColussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный.s-semantics approach:theory and applications / A.Bossi,M.Gabbrielli,G.Levi,M.Martelli, 1994. - 49 p. - Текст : непосредственный. Breugel F.van Solving domain equations in a category of compact metric spaces / F.van Breugel,J.Warmerdam, 1994. - 24 p. - Текст : непосредственный.Jacquet J.-M. Conclog:A methodological approach to concurrent logic programming / J.-M.Jacquet, 1991. - XII,781 p. p. - Текст : непосредственный.Bibel W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler, 1992. - 269 S. - Текст : непосредственный.Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный.Apt K.R. Declarative interpretations reconsidered / K.R.Apt,M.Gabbrielli, 1994. - 16 p. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A.Bossi,M.Fabris,M.C.Meo, 1994. - 22 p. - Текст : непосредственный.
Показать все результатыМанцивода А.В. Логическое программирование в ограничениях: семантический подход : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Боголюбов Д.П. Разработка интеллектуальной среды обучения логическому программированию : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Д. П. Боголюбов, 1995. - 15 с. - Текст : непосредственный.Шакиров А.А. Логико-алгебраические способы описания геометрических фигур : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. А. Шакиров, 1997. - 18 с. - Текст : непосредственный.Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Constraint programming : Proc.of the NATO advanced study inst.on constraint programming,Parnu,Estonia,Aug.13-24,1993 / Ed. B. Mayoh, 1994. - 449 p. - Текст : непосредственный.Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.Bonsangue M. Isomorphisms between predicate and state transformers / M.Bonsangue,J.N.Kok, 1993. - 30 p. - Текст : непосредственный.Bostrom H. Explanation-based transformation of logic programs : Diss / H.Bostr@:om, 1993. - 178 p. - Текст : непосредственный.Walter J. Parallele Abarbeitung logischer Programme auf einem Multi- Transputer-System : Diss. / J.Walter, 1993. - 221 S. - Текст : непосредственный.Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.Tick E. Parallel logic programming / E.Tick, 1991. - 486 p. - Текст : непосредственный.Logic programming : Proc.of the 7th intern.conf.,held in Jerusalem,June 18-20,1990 / Ed.: D. H.D. Warren, P. Szeredi, 1990. - 788 p. - Текст : непосредственный.Logic programming : Proc.of the 1991 intern.symp.,held in San Diego,U.S.A.,Oct.28-Nov.1,1991 / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.s-semantics approach:theory and applications / A.Bossi,M.Gabbrielli,G.Levi,M.Martelli, 1994. - 49 p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽