Л79 Лосев, А. Ф. Форма - Стиль - Выражение [Текст] / Лосев Л.В.; Сост. А.А. Тахо-Годи. - М. : Мысль, 1995. - 944 с. : 1 л.портр. - 30.00 р.
Кл.слова (ненормированные): Философия -- форма -- стиль -- выражение Доп.точки доступа: Тахо-Годи, А.А. \сост.\ Экземпляры всего: 1 1к (1) Свободны: 1к (1) |
Д20 Дарвин, Ч. Сочинения [Текст] / Ч. Дарвин; Под ред. Е.Н. Павловского. - М.; Л. : АН СССР, 1953 - . Т.5 : Происхождение человека и половой отбор. Выражение эмоций у человека и животных. - 1040 с. - 5.35 р.
Кл.слова (ненормированные): Биология -- происхождение человека -- половой отбор -- эмоции -- животные -- научные труды Экземпляры всего: 2 1к (2) Свободны: 1к (2) |
Д18 Данков, В. Н. Историческая грамматика русского языка. Выражение залоговых отношений у глагола [Текст] : учеб. пособие для филолог. спец. / В. Н. Данков. - М. : Высш. шк., 1981. - 112 с. - 0.25 р.
Кл.слова (ненормированные): Языкознание -- русский язык -- глагол -- учебник для вузов Экземпляры всего: 2 1к (2) Свободны: 1к (2) |
П58 Попов, С. И. Кризис буржуазной идеологии как духовное выражение общего кризиса капитализма: Лекция [Текст] / С.И. Попов; ВПШ при ЦК КПСС. - М. : Мысль, 1975. - 68 с. - (Актуальные вопросы марксистско-ленинской теории). - 0.11 р.
Кл.слова (ненормированные): Философия -- идеология -- буржуазная идеология -- антикоммунизм -- буржуазная философия -- история философии Экземпляры всего: 1 1к (1) Свободны: 1к (1) |
С 32 Сергиевский, Г. М. Функциональное и логическое программирование [Текст] : учебное пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника" / Г.М. Сергиевский, Н.Г. Волченков. - М. : Академия, 2010. - 320 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-6433-8 : Б.ц. р. Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИНТЕРНЕТ-РЕСУРСЫ -- ИСТОРИЯ РАЗВИТИЯ ПРОГРАММИРОВАНИЯ -- ТИПЫ ФУНКЦИЙ -- КАРРИРОВАНИЕ -- ЛЯМБДА-ВЫРАЖЕНИЕ -- СТРУКТУРЫ ДАННЫХ -- БАЗИСНЫЕ ОПЕРАЦИИ -- ПРЕДИКТЫ -- ПРОЛОГ Аннотация: Рассмотрены основные результаты как в теоретической части, так и в части практического применения, накопленные к настоящему времени в области функционального и логического программирования. Показано, что оба эти подхода, относящиеся к парадигме декларативного программирования, позволяют получить новые возможности в части трансформации и автоматического синтеза программ, доказательства свойств программ, частичных вычислений и др. Описаны области, в которых применение данных подходов имеет преимущества по сравнению с операторным программированием. Практические аспекты функционального программирования изучаются на примере языков Haskell — лучшей современной реализации функциональной парадигмы. В теоретическом обосновании приведены наиболее важные (для данных целей) результаты лямбда-исчисления и комбинаторной логики. Представлена наиболее «продвинутая» практическая реализация идеи логического программирования: язык Пролог. Даны его детальное описание и приемы программирования. Основное внимание уделено таким областям применения Пролога, как программирование баз данных, синтаксический анализ, реализация переборного и эвристического поиска, задачи искусственного интеллекта, в том числе обработки нечетких данных, программирование в ограничениях (Constraint Lodic Programming). Подробно описаны теоретические основы логического программирования (метод резолюций, теорема Робинсона и др.). Для студентов учреждений высшего профессионального образования. Доп.точки доступа: Волченков, Н.Г. Экземпляры всего: 16 2к (16) Свободны: 2к (16) |