С 32 Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника" / Г.М. Сергиевский, Н.Г. Волченков. - М. : Академия, 2010. - 320 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-6433-8 : Б.ц. р. Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИНТЕРНЕТ-РЕСУРСЫ -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ -- ТИПЫ ФУНКЦИЙ -- КАРРИРОВАНИЕ -- ЛЯМБДА-ВЫРАЖЕНИЕ -- СТРУКТУРЫ ДАННЫХ -- БАЗИСНЫЕ ОПЕРАЦИИ -- ПРЕДИКТЫ -- ПРОЛОГ Аннотация: Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell — лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования. Доп.точки доступа: Волченков, Н.Г. Экземпляры всего: 16 2к (16) Свободны: 2к (16) |
О-75 Основы программирования на примере Visual Basic. NET [Текст] : методическое пособие для учителя. - М. : БИНОМ. Лаборатория знаний, 2006. - 98 с. : ил. - ISBN 5-94774-428-7 : Б.ц. Кл.слова (ненормированные): МЕТОДИЧЕСКОЕ ПОСОБИЕ -- ПОСОБИЕ ДЛЯ УЧИТЕЛЯ -- УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКТ ПО КУРСУ ОСНОВЫ ПРОГРАММИРОВАНИЯ -- ОБЪЕКТИВНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ЯЗЫК VISUAL BASIC -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ Аннотация: Учебно-методический комплект по курсу «Основы программирования на примере Visual Basic .NET» включает учебное пособие, данное методическое пособие и компакт-диск. Методическое пособие содержит тематическое планирование курса, подробные рекомендации по преподаванию курса, описание процедур установки программ, основы объектно-ориентированного визуального программирования на языке Visual Basic .NET и таблицы по языку Visual Basic .NET. На компакт-диске размещены учебное пособие по курсу, инструкции по установке необходимого программного обеспечения, дистрибутив системы объектно-ориентированного программирования Visual Basic 2005 Express Edition, файлы с проектами на языке Visual Basic .NET, справочные таблицы по языку Visual Basic .NET. Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К 60 Колдаев, В. Д. Архитектура ЭВМ [Текст] : учебное пособие / В.Д. Колдаев, С.А. Лупин. - М. : ФОРУМ : ИНФРА-М, 2019. - 383 с. - (Среднее профессиональное образование). - ISBN 978-5-8199-0868-6 : 1291.50 р.
Кл.слова (ненормированные): ТЕХНИКА -- ЭЛЕКТРОННО-ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- АРХИТЕКТУРА ЭВМ -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ -- ОСНОВЫ ЭВМ -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- КЛАССИФИКАЦИЯ КОМПЬЮТЕРОВ -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- СИСТЕМЫ СЧИСЛЕНИЯ -- ПРИНЦИПЫ ОРГАНИЗАЦИИ ЭВМ -- ХРАНЕНИЕ ИНФОРМАЦИИ -- МИКРОПРОЦЕССОРЫ -- КОМПЬЮТЕРНЫЕ СЕТИ -- АРХИТЕКТУРА СЕТЕЙ -- ИНТЕРНЕТ -- СЕРВИС ICQ Аннотация: В учебном пособии рассмотрены информационно-логические принципы организации и построения ЭВМ, работа логических блоков и памяти, периферийные устройства, основы программирования процессора, классификация вычислительных платформ и вычислительные сети. Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования. Доп.точки доступа: Лупин, С.А. Экземпляры всего: 10 2к (10) Свободны: 2к (10) |