Полное описание
> Элементы теоретического программирования: математическая логика : учеб. пособие к курсам "Мат. логика и теория алгоритмов", "Теорет. основы программирования", "Представление знаний в информ. системах" / А. В. Голанова [и др.] ; Рос. гос. пед. ун-т им. А. И. Герцена. - СПб. : ЛЕМА, 20 - . - Текст : непосредственный.
Ч. 3. - 2016. - 607 с. : ил. - Библиогр.: с. 596-603. - 100 экз. - ISBN 978-5-00105-076-6
| ГРНТИ | УДК | |
| 50.05.03 | 004.42.047 |
Рубрики:
Программирование для ЭВМ логическое
Доп. точки доступа:
Голанова, А.В.
Демидов, М.В.
Кудрявцева, И.А.
Швецкий, М.В.
Российский гос. пед. ун-т им. А. И. Герцена(Санкт-Петербург)
>
Нет сведений об экземплярах
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/71169/3)>
Шифр в сводном ЭК: 5db4dbf34619a7f98866ab509ae252e3
Кудрявцева И.А. Элементы теоретического программирования: комбинаторная логика и теория типов : учеб. пособие к курсу "Программирование". Ч. 1, 2013. - 487 с. - Текст : непосредственный.Голанова А.В. Численные методы: вычисления с помощью MAPLE : практикум / А. В. Голанова, Е. И. Голикова, 2018. - 218 с. - Текст : непосредственный.Голанова А.В. Профессиональные компьютерные программы : практикум / А. В. Голанова, Е. И. Голикова, 2018. - 138 с. - Текст : непосредственный.Голанова А.В. Основы работы в системах компьютерной математики Mathcad и Maple : практикум / А. В. Голанова, Е. И. Голикова, 2018. - 114 с. - Текст : непосредственный.Информационные системы и технологии : учеб. пособие / И. А. Кудрявцева, М. В. Швецкий, А. В. Флегонтов. Вып. 2 : Элементы эволюционного программирования : опорный конспект, 2014. - 103 с. - Текст : непосредственный.Лаптев В.В. Методическая теория обучения информатике. Аспекты фундаментальной подготовки / В.В. Лаптев, Н.И. Рыжова, М.В. Швецкий, 2003. - 351 с. - Текст : непосредственный.Демидов М.В. Государственный и муниципальный финансовый контроль : учебное пособие для магистратуры / М. В. Демидов, 2018. - 116 с. - Текст : непосредственный.Закономерности формирования фундаментальных информационных компетентностей в области конвергентных NBIC-технологий в непрерывном образовании / В. В. Лаптев [и др.], 2012. - 191 с. - Текст : непосредственный.Швецкий М.В. Динамические структуры данных в языке программирования СИ++ : Учеб. пособие / М. В. Швецкий, И. А. Лебедева, А. А. Медведев, 2001. - 218 с. - Текст : непосредственный.Швецкий М.В. Упражнения по теории чисел: элементы теории сравнений : учеб. пособие / М. В. Швецкий, Е. Ю. Яшина, 2013. - 423 с. - Текст : непосредственный.Элементы теоретического программирования: математическая логика : учеб. пособие к курсам "Мат. логика и теория алгоритмов", "Теорет. основы программирования", "Представление знаний в информ. системах" / А. В. Голанова [и др.] ; Рос. гос. пед. ун-т им. А. И. Герцена. Ч. 3, 2016. - 607 с. - Текст : непосредственный.Кудрявцева, И. А. Элементы теоретического программирования: теория типов : учеб. пособие к курсу "Теорет. основы программирования". Ч. 2, 2016. - 575 с. - Текст : непосредственный.Швецкий М.В. Некоторые вопросы методологии отладки программ : Учеб.пособие / М.В.Швецкий,А.А.Медведев, 2002. - 115 с. - Текст : непосредственный.Голанова А.В. Основы программирования на языке C : практикум / А. В. Голанова, Е. И. Голикова, 2015. - 124 с. - Текст : непосредственный.Кудрявцева И.А. Математическое моделирование динамики двухкомпонентной плазмы с учетом столкновений заряженных частиц : автореф. дис. .. канд. физ.-мат. наук: 01.02.05 / И. А. Кудрявцева, 2009. - 22 с. - Текст : непосредственный.
Математика : учебное пособие / под ред. Г. Г. Хамова; Рос. гос. пед. ун-т им. А. И. Герцена. Ч. 3 : Теория вероятностей / М. Ю. Чурилова [и др.], 2011. - 202 с. - Текст : непосредственный.Физика в системе современного образования (ФССО-07) : Материалы 9 Международ. конф., Санкт-Петербург, 4-8 июня 2007 г. / Рос. гос. пед. ун-т им. А. И. Герцена. Т. 1, 2007. - 503 с. - Текст : непосредственный.Зарубин В.Г. Государственные служащие: профессиональная компетентность и принятие решений / В. Г. Зарубин, А. В. Комарова, 2015. - 131 с. - Текст : непосредственный.Общая физика. Молекулярная физика : выставочные материалы / Н. И. Анисимова, Ю. А. Гороховатский, В. И. Данильчук [и др.] ; Ред. Ю. А. Гороховатский, 2014. - 214 с. - Текст : непосредственный.Молодые ученые Якутии в стратегии устойчивого развития Российской Федерации. Интеллектуальные ресурсы Якутии в интеллектуальном потенциале России : материалы временных коллективов / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2004. - 337 с. - Текст : непосредственный.Институциональные преобразования в России и структурная перестройка экономики : монография / А. А. Алексашкина, В. В. Грибанов, Г. И. Грибанова, И. С. Гринь ; Ред. М. А. Скляр, 2004. - 267 с. - Текст : непосредственный.Геометрия "в целом". Преподавание геометрии в вузе и школе : материалы временных коллективов / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2004. - 254 с. - Текст : непосредственный.Образовательная реформа и конкурентоспособность российской экономики / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2010. - 175 с. - Текст : непосредственный.Социология. Концепции, отраслевые теории и методика прикладного исследования : учеб.-метод. пособие / Рос. гос. пед. ун-т им. А. И. Герцена. Вып. 3, 2013. - 512 с. - Текст : непосредственный.Синтез, строение и химические превращения органических соединений азота: нитросоединений, аминов и аминокислот : сборник научных трудов / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 1993. - 114 c. - Текст : непосредственный.Витамины : выставочные материалы / Т. А. Новикова, Е. С. Остроглядов, И. Е. Ефремова, Р. И. Байчурин, 2016. - 46 с. - Текст : непосредственный.Информационная среда инновационного вуза как фактор устойчивого развития : сборник / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2012. - 132 с. - Текст : непосредственный.Информационные технологии в науке, образовании, искусстве : сборник / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2005. - 269 с. - Текст : непосредственный.Математика : Учеб. пособие / под ред. Г. Г. Хамова ; Рос. гос. пед. ун-т им. А. И. Герцена. Ч. 2 : Математические анализ и дифференциальные уравнения / Е. Б. Александрова [и др.], 2009. - 377 с. - Текст : непосредственный.Зайцев В.Ф. Дифференциальные уравнения (структурная теория) : учеб. пособие. Ч. 1, 2015. - 159 с. - Текст : непосредственный.Прикладная математика, информатика, электроника : сборник / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 1997. - 248 с. - Текст : непосредственный.Профессиональная этика в PR и рекламе : материалы временных коллективов / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), 2001. - 138 с. - Текст : непосредственный.Пиотровская К.Р. Основы математической обработки информации : [учеб. пособие]. Ч. 1 : Алгебра логики : практикум по решению задач, 2016. - 38 с. - Текст : непосредственный.Химия и химическое образование XXI века : материалы временных коллективов / Российский гос. пед. ун-т им. А. И. Герцена (Санкт-Петербург), Российское хим. о-во им. Д. И. Менделеева (Санкт-Петербург), 2017. - 145 с. - Текст : непосредственный.Вернер А.Л. Учебники геометрии в школах России : монография / А. Л. Вернер, 2017. - 191 с. - Текст : непосредственный.
Показать все результатыLogic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный.Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный.Иванов Б.Н. Дискретная математика. Алгоритмы и программы / Б. Н. Иванов, 2003. - 288 с. - Текст : непосредственный.Herczeg J. Methoden und Werkzeuge zur visuellen objektorientierten Programmierung / J. Herczeg, 1995. - 218 S. - Текст : непосредственный.Калверт Ч. Программирование в Windows. Освой самостоятельно за 21 день : монография / Ч. Калверт, 1995. - 495 c. - Текст : непосредственный.Петухин В.А. Анализ логических программ и компиляция языка Флэнг : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / В. А. Петухин, 1993. - 13 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный.Eckgold F. Systemprogramierung OS/2 2.x : монография / F. Eckgold, 1993. - XV,959 p. p. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Middeldorp A. Counterexamples to completeness results for basic narrowing / A. Middeldorp, E. Hamoen, 1991. - 44 p. - Текст : непосредственный.On the adequacy of graph rewriting for simulating term rewriting / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.-J. de Vries, 1992. - 18 p. - Текст : непосредственный.Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный.Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный.Transfinite reductions in orthogonal term rewriting systems (extended abstract) / J. R. Kennaway, J. W. Klop, M. R. Sleep, F. J.de Vries, 1990. - 16 p. - Текст : непосредственный.infinitary Church-Rosser property for non-collapsing orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 12 p. - Текст : непосредственный. Transfinite reductions in orthogonal term rewriting systems / J. R. Kennaway, J. W. Klop, M. R. Sleep, F.J. de Vries, 1990. - 48 p. - Текст : непосредственный.Middeldorp A. Completeness of combinations of constructor systems / A. Middeldorp, Y. Toyama, 1990. - 18 p. - Текст : непосредственный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный.Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный.Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный.Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный.Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный.s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.Манцивода А.В. Логическое программирование в ограничениях: семантический подход : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук / А. В. Манцивода, 1995. - 24 с. - Текст : непосредственный.Marchiori E. A logic for variable aliasing in logic programs / E. Marchiori, 1994. - 16 p. - Текст : непосредственный.Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.Marchiori E. A methodology for proving termination of general logic programs / E. Marchiori, 1995. - 26 p. - Текст : непосредственный.Naidich D. On generic representation of implicit induction procedures / D. Naidich, 1996. - 31 p. - Текст : непосредственный.Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный.Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный.Fokkink W.J. Idempotent most general unifiers for infinite sets / W. J. Fokkink, 1994. - 7 p. - Текст : непосредственный.Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный.Programming language implementation and logic programming : материал технической информации / Ed.: P. Decansant, J. Maluszynski, 1990. - VIII,401 p. p. - Текст : непосредственный.Programming language implementation and logic programming : материалы временных коллективов / Ed.: J. Maluszynski, M. Wirsing, 1991. - 433 p. - Текст : непосредственный.Klingler A. Datenparallele Auswertung rekursiver logischer Programme / A. Klingler, 1993. - 152 S. - Текст : непосредственный.Recent advances in constraints / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽