6П2.154.5 К47     Кларк, К.     Введение в логическое программирование на микро-прологе [Текст] / К. Кларк, Ф. Маккейб Ф.; Пер. с англ. А.И. Горлина; Под ред. В.В. Мартынова. - М. : Радио и связь, 1987. - 312 с. - 1.70 р. УДК 6П2.154.5 Кл.слова (ненормированные): Электроника -- программирование -- информатика -- логическое программирование -- язык программирования Prolog -- пролог Экземпляры всего: 1 2к (1) Свободны: 2к (1)

6П2.5 К50     Клоксин, У.     Программирование на языке Пролог [Текст] / У. Клоксин, К. Меллиш; Пер. с англ. А.В. Горбунова, М.М. Комарова. - М. : Мир, 1987. - 336 с. - 1.30 р. УДК 6П2.5 Кл.слова (ненормированные): Электроника -- язык программирования Prolog -- языки программирования -- программирование Доп.точки доступа: Меллиш, К. Экземпляры всего: 1 2к (1) Свободны: 2к (1)

6П2.154.5/075/ Ш85     Шрайнер, П. А.     Основы программирования на языке Пролог: Курс лекций. Учеб. пособие [Текст] / П. А. Шрайнер. - М. : Интернет-Университет Информационных технологий: БИНОМ. Лаборатория знаний, 2005. - 176 с. : ил. - (Основы информационных технологий). - 165.00 р. Рекоменд. для студ. вузов, обуч. по спец. в обл. информационных технологий УДК 6П2.154.5/075/ Кл.слова (ненормированные): учебное пособие для вузов -- языки программирования -- язык программирования Prolog -- базы данных -- искусственный интеллект -- программы -- турбо Пролог -- алгоритмические языки и программирование Экземпляры всего: 11 2к (11) Свободны: 2к (11)

6Ф7 Я41         Язык Пролог в пятом поколении ЭВМ: Сборник статей: Пер. с англ. [Текст] / Под ред. Н.И. Ильинского. - М. : Мир, 1988. - 501 с. : ил. - 2.60 р. УДК 6Ф7 Кл.слова (ненормированные): Техника -- вычислительная техника -- программирование -- ЭВМ -- Электроника -- Prolog -- Пролог -- язык программирования Prolog -- языки программирования Доп.точки доступа: Ильинский, Н.И. \ред.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1)

73я73    М 74     Могилев, А. В.     Практикум по информатике [Текст] : учебное пособие для студентов вузов / А.В. Могилев, Н.И. Пак, Е.К. Хеннер; под ред. Е.К. Хеннера . - 5-е изд., стер. - М. : Академия, 2009. - 608 с. - (Высшее профессиональное образование). - ISBN 978-5-7695-6591-5 : Б.ц., Б.ц. р.ББК 73я73 Кл.слова (ненормированные): УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ -- ИНФОРМАТИКА -- ТЕОРЕТИЧЕСКИЕ ОСНОВЫ -- СИСТЕМЫ СЧИСЛЕНИЯ -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- ЭЛЕМЕНТЫ ТЕОРИИ ГРАФОВ -- АЛГОРИТМ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ЭВМ -- СИСТЕМЫ ПРОГРАММИРОВАНИЯ -- СИСТЕМЫ ОБРАБОТКИ ТЕКСТОВ -- СИСТЕМЫ КОМПЬЮТЕРНОЙ ГРАФИКИ -- БАЗЫ ДАННЫХ И СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ -- ЭЛЕКТРОННЫЕ ТАБЛИЦЫ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- МЕТОДЫ ПРОГРАММИРОВАНИЯ -- ЯЗЫК ПРОГРАММИРОВАНИЯ PASCAL -- ЯЗЫК ПРОГРАММИРОВАНИЯ CИ++ -- ЯЗЫК ПРОГРАММИРОВАНИЯ PROLOG -- ТУРБО ПАСКАЛЬ -- ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА -- КОМПЬЮТЕРНЫЕ СЕТИ -- ТЕЛЕКОММУНИКАЦИИ -- ЛОКАЛЬНЫЕ СЕТИ -- ГЛОБАЛЬНЫЕ СЕТИ -- ИНФОРМАЦИОННЫЕ СИСТЕМЫ -- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ -- МОДЕЛИРОВАНИЕ СЛУЧАЙНЫХ ПРОЦЕССОВ -- МОДЕЛИРОВАНИЕ ФИЗИЧЕСКИХ ПРОЦЕССОВ -- МОДЕЛИРОВАНИЕ В ЭКОЛОГИИ Аннотация: Практикум по тематике, уровню сложности и методическим подходам соответствует учебному пособию А.В. Могилева, Н.И. Пака и Е.К.Хеннера «Информатика». Он включает в себя разделы: теоретическая информатика, программное обеспечение ЭВМ, языки и методы программирования, вычислительная техника, компьютерные сети и телекоммуникации, информационные системы, компьютерное моделирование. Даны наборы тренировочных заданий, лабораторные работы, материалы для тестового контроля по основным темам. Для студентов университетов и педагогических вузов, проходящих подготовку в качестве бакалавров и магистров образования по профилю «Информатика», а также для учителей информатики. Может быть полезным преподавателям информатики в вузах при подготовке и проведении занятий. Может использоваться при реализации образовательных программ в различных вузах, в которых информатика является одним из профилирующих предметов, а также в процессе переподготовки и повышения квалификации учителей информатики в системе повышения квалификации работников образования. Доп.точки доступа: Пак, Л.Г.; Хеннер , Е.К. Экземпляры всего: 8 2к (8) Свободны: 2к (8)

51/06/    М 34         Математика и математическое моделирование: проблемы и перспективы [Текст] : Международная научно-практическая конференция. Оренбург, 20-21 мая 2015 г.: сб. научных статей / под ред. И.А. Акимова ; Мин-во образования и науки РФ; ФГБОУ ВПО "Оренбургский государственный педагогический университет". - Оренбург : Изд-во ОГПУ, 2015. - 272 с. - ISBN 978-5-85859-607-3 : 292.00 р., б.ц. р. УДК 51/06/ Кл.слова (ненормированные): МАТЕРИАЛЫ НАУЧНЫХ КОНФЕРЕНЦИЙ -- СБОРНИК НАУЧНЫХ СТАТЕЙ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ -- МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ТЕПЛООБМЕНА -- КОМПОЗИЦИОННЫЕ МАТЕРИАЛЫ -- ПОЛИМЕРИЗАЦИЯ -- МАТЕМАТИЧЕСКОЕ МЫШЛЕНИЕ -- ПРОСТРАНСТВЕННЫЕ ОПРЕДЕЛИТЕЛИ -- МАТРИЦЫ -- ТРАКТАТ НАСИРЕДДИНА ТУСИ -- ПРЕПОДАВАНИЕ АСТРОНОМИИ -- МОДЕЛИРОВАНИЕ В ПРЕПОДАВАНИИ -- ФИЗИЧЕСКИЙ ЭКСПЕРИМЕНТ -- ИСПОЛЬЗОВАНИЕ КОМПЬЮТЕРА -- РАЗНОСТНЫЕ УРАВНЕНИЯ -- РАЗБИЕНИЕ НАТУРАЛЬНЫХ ЧИСЕЛ -- ПУБЛИКАЦИОННАЯ АКТИВНОСТЬ -- ЦИТИРОВАНИЕ -- АНАЛИЗ ПУБЛИКАЦИОННОЙ АКТИВНОСТИ -- ТОЧЕЧНЫЕ СООТВЕТСТВИЯ -- КОМПЬЮТЕРНЫЕ ММОДЕЛИ В ФИЗИКЕ -- МАГНИТНЫЕ ЖИДКОСТИ -- ЛАМЕ Г. -- УЧИТЕЛЬ ИНФОРМАТИКИ -- ЯЗЫК ПРОГРАММИРОВАНИЯ PROLOG -- БЕСТУЖЕВСКИЕ КУРСЫ -- ЛИНЕЙНЫЕ ДИНАМИЧЕСКИЕ СИСТЕМЫ -- ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ -- ИНТЕГРАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ ФУРЬЕ -- ПРОЕКТНАЯ ДЕЯТЕЛЬНОСТЬ -- РОБОТОТЕХНИЧЕСКАЯ ЛАБОРАТОРИЯ -- МАТЕМАТИЧЕСКОЕ ОБРАЗОВАНИЕ -- УЧИТЕЛЬ МАТЕМАТИКИ -- ОБЛАЧНЫЕ ВЫЧИСЛЕНИЯ -- ИСТОРИЯ МАТЕМАТИКИ -- ПСКОВСКОЕ КРАЕВЕДЕНИЕ -- ТОРОПОВ К.А. -- КОМПЬЮТЕРНАЯ ОБРАБОТКА -- КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ -- РАЗВИТИЕ ВЫСШЕГО ОБРАЗОВАНИЯ -- ПЛОЩАДЬ ПОВЕРХНОСТИ ТЕЛ ВРАЩЕНИЯ -- ОБУЧЕНИЕ МАТЕМАТИКИ В ВУЗЕ -- МЕТОДИЧЕСКАЯ КОМПЕТЕНТНОСТЬ УЧИТЕЛЯ -- ЭЛЕКТРОННЫЙ ПОРТФИЛИО -- ПРЕПОДАВАНИЕ МАТЕМАТИКИ -- ОРЕНБУРГСКИЙ НЕПЛЮЕВСКИЙ КАДЕТСКИЙ КОРПУС -- ПРАВИЛО БЕРНУЛЛИ - ЛОПИТАЛЯ -- ВЕКОВОЕ УРАВНЕНИЕ -- ПОЗНАВАТЕЛЬНЫЙ ПОДХОД -- ЗАОЧНОЕ ОБУЧЕНИЕ -- РОСТОВСКАЯ МАТЕМАТИЧЕСКАЯ ШКОЛА -- АППРОКСИМАЦИЯ УЧЕБНОГО МАТЕРИАЛА -- ПРЕДПРОФИЛЬНАЯ ПОДГОТОВКА ШКОЛЬНИКОВ -- ГИДРОМЕХАНИКА -- СИСТЕМЫ ОБНАРУЖЕНИЯ ВТОРЖЕНИЙ -- ГЕОМЕТРИЯ ЛОБАЧЕВСКОГО -- ЭКЗАМЕН ПО МАТЕМАТИКЕ -- МАТЕМАТИЧЕСКИЕ ПАКЕТЫ -- ТАБЛИЧНЫЙ ПРОЦЕССОР OpenOffice.org Calc -- ЭКОНОМИКО-МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- МАТЕМАТИЧЕСКИЙ ПАКЕТ GeoGebra -- БАРТЕЛЬС И.М.Х. -- ТЕХНОЛОГИЧЕСКИЙ ПРОЦЕСС -- МЕТОДЫ АНАЛИЗА -- БРОУНОВСКОЕ ДВИЖЕНИЕ -- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ В СРЕДЕ PascalABC -- МЕТОД КАСАТЕЛЬНЫХ -- ЧИСЛЕННОЕ МОДЕЛИРОВАНИЕ -- БОГОЛЮБОВ А.Н. -- ПОИСК РЕШЕНИЯ ЗАДАЧ -- ДИСТАНЦИОННОЕ ОБУЧЕНИЕ Moodie -- ЛЕЙБНИЦ Г.В. -- ДВОИЧНЫЕ ДРОБИ -- МАЛЫЕ ВЫБОРКИ Аннотация: В сборнике представлены статьи, посвященные актуальным проблемам истории математики и математического образования, математического моделирования в естественных и прикладных науках, моделирования в физическом, в том числе учебном, эксперименте, преподавания математики в школе и вузе„компьютерным наукам в образовании. Книга будет интересна преподавателям школ и вузов, аспирантам, студентам и всем, кто интересуется физико-математическими и компьютерными науками, методикой их преподавания, историей математики и математического образования. Экземпляры всего: 8 СБО (1), 2к (7) Свободны: СБО (1), 2к (7)