Логин
(фамилия)
:
Пароль
(штрих-код)
:
Электронный каталог МУБиНТ - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (26)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=АВТОМАТИЧЕСКОЕ<.>)
Общее количество найденных документов
:
4
Показаны документы
с 1 по 4
1..4
1.
681.3
Я41
Язык Пролог в
пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. -
ISBN
5-03-000537-4 : 2.60 р.
Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и
автоматическое
доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода
ГРНТИ
50.05.09
УДК
681.3
681.3.06
ББК
22.18
Рубрики:
Информатика--Языки программирования
Аннотация:
Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие
2.
> (Свободных экземпляров нет)
Шифр: ДиВО/2002/9
Журнал
Дистанционное и виртуальное
обучение [Текст] : Дайджест российской и зарубежной прессы. - М. : Редакция журнала "Дистанционное и виртуальное обучение". - ISSN 1561-2449. - Выходит ежемесячно
2002г. № 9
Содержание:
Альтшулер, Г. Колледжи должны заниматься разработкой технологических планов
/ Г. Альтшулер, П. Макклюр. - С.5-7
Кл.слова: онлайновое обучение
Африна, Е. Педсоветы в Интернете
/ Е. Африна. - С.7-8
Бен-Джейкоб, М. Разработка политики дистанционного обучения
/ М. Бен-Джейкоб. - С.8-10
Кл.слова: дистанционное обучение
Бирн, Э. От виртуального до смешного: как не дать себя обмануть
/ Э. Бирн. - С.10-12
Кл.слова: мошенничество, интернет
Британский музей начинает онлайновые курсы
. - С.12-13
Васильева, И. А. Психологические аспекты применения информационных технологий
/ И.А. Васильева, Е.М. Осипова, Н.Н. Петрова. - С.14-18
Ватсон, С. Университет Буффало заморозил онлайновую программу по деловому администрированию
/ С. Ватсон. - С.18-20
Дженнигс, М. Использование видеоконференций как средства общения между разработчиками учебных программ и учителями-интернами
/ М. Дженнигс, С. Бронак. - С.20-21
Добрынин, М. А. Дистанционное обучение во Франции
/ М.А. Добрынин, С.Н. Сухой. - С.21-22
Иванов, В. Л. Структура электронного учебника
/ В.Л. Иванов. - С.23-24
Интеграция Эстонии в мировое образовательное пространство
. - С.24-25
Ирвин, Дж. Хакеры используют легкие пути, чтобы получить сведения о студентах
/ Дж. Ирвин. - С.25-27
Кл.слова: защитные системы, беспроводные компьютеры
Карневэл, Д. Студенты из Западной Виргинии получают новые возможности обучения в режиме онлайн
/ Д. Карневэл. - С.27-28
Козлова, О. Информатизация образования и школьная библиотека
/ О. Козлова. - С.28-31
Кл.слова: медиатека
Кэррол, М. Университет Дьюка рассматривает вопрос о ведении дистанционного обучения
/ М. Кэррол. - С.31-33
Ле, Э. Принцип социального присутствия при общении в среде дистанционного обучения
/ Э. Ле. - С.33-34
Кл.слова: электронная почта, изучение, иностранный язык
Линч, Д. Преподавателям следует использовать новые технологии в учебных курсах
/ Д. Линч. - С.34-35
Лохор, Дж. В Нигерии разработан план подготовки педагогических кадров
/ Дж. Лохор. - С.35-36
Маккион, М. Программа "Кредиты через сеть"
/ М. Маккион. - С.36-37
Малдонадо, М. Информация о студенческих кредитах в Северо-западном университете переводится в онлайновый формат
/ М. Малдонадо. - С.38-39
Москалев, А. Н. Обучение по аналогии компьютерным технологиям
/ А.Н. Москалев, Г.А. Никулова. - С.39-41
Образцов, П. И. Дидактический комплекс информационного обеспечения учебной дисциплины в системе ДО
/ П.И. Образцов. - С.41-42
Оверлэнд, М. Пакистан планирует реструктуризацию высшего образования
/ М. Оверлэнд. - С.42-44
Павличенко, Ю. А.
Автоматическое
формирование индивидуального учебного курса
/ Ю.А. Павличенко, Н.Д. Хатьков. - С.44-45
Пардас, Э. Обучение в виртуальном университете
/ Э. Пардас. - С.45-47
Песоцкий, Ю. С. Высокотехнологическая образовательная среда: принципы проектирования
/ Ю.С. Песоцкий. - С.47-50
Рич, Э. Новые технологии помогут студентам, испытывающим трудности в учебе
/ Э. Рич. - С.50-52
Роуз, М. 2001 был трудным годом для компаний, выпускающих электронные книги
/ М. Роуз. - С.52-53
Кл.слова: электронный учебник, сокращение, спрос
Стаб, З. Израильская компания "SimiGon" подписала контракт на обучение служащих ВМС США
/ З. Стаб. - С.54-55
Все экземпляры списаны
Найти похожие
3.
> (Свободных экземпляров нет)
Шифр: КИО/2009/3
Журнал
Качество. Инновации. Образование
[Текст] : ежемесячный научно-практический журнал. - М. : Фонд "Европейский центр по качеству". - Выходит ежемесячно
2009г. N 3
Содержание:
Краковский, Ю. М. Прогнозирование показателей, характеризующих рынок образовательных услуг, на основе разнородной информации
/ Ю. М. Краковский, А. С. Яхина. - С.2-6
Лобашев, В. Д. Формирование систем профессионального обучения в условиях развития рыночной экономики
/ В. Д. Лобашев. - С.7-12
Григорьев, Ю. В. Выявление новых объектов интеллектуальной собственности предприятия
/ Ю. В. Григорьев. - С.13-19
Александров, М. Н. Управление качеством технологического процесса получения магнитных материалов
/ М. Н. Александров. - С.19-22
Воловикова, Е. В. Диагностика аналоговых схем с учетом тепловых режимов электрорадиоэлементов
/ Е. В. Воловикова, С. У. Увайсов. - С.23-28
Велигодский, С. С. Оценка уязвимости портала в условиях конфликтного взаимодействия
/ С. С. Велигодский, Н. Г. Милославская. - С.29-33
Маслобоев, А. В. Имитационное моделирование развития инновационных процессов на основе метода системной динамики и агентных технологий
/ А. В. Маслобоев. - С.34-42
Рогозин, О. В. Метод нечеткого вывода решения в задаче подбора программного обеспечения на основе качественных характеристик этого обеспечения как объекта инвестиций
/ О. В. Рогозин. - С.43-49
Мосенкова, Ю. Методология жизненного цикла проекта внедрения
/ Ю. Мосенкова. - С.50-52
Чекмарев, А. В.
Автоматическое
распознавание речи - проблемы применимости
/ А. В. Чекмарев. - С.52-57
Паршин, Б. Я. Различия ДПФ и МДКП при спектральном сжатии аудиоинформации
/ Б. Я. Паршин, Д. О. Жуков. - С.57-61
Черткова, Е. А. Разработка спецификации требований к компьютерным обучающим системам
/ Е. А. Черткова, И. В. Ретинская, К. К. Дауренбеков. - С.63-67
Сафонова, И. Е. Методы прогностической оценки основных характеристик корпоративных функционально-ориентированных компьютерных сетей
/ И. Е. Сафонова. - С.68-73
Все экземпляры списаны
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Найти похожие
4.
>
Шифр: ГиК/2017/10
Журнал
Геодезия и картография
[Текст] : официальный орган Роскартографии и геодезических служб стран СНГ. - М., 1925 - . - ISSN 0016-7126. - Выходит ежемесячно
2017г. N 10
Содержание:
Геодезия
Кравченко, Ю. А. О влиянии Луны на уклонения отвесных линий и вариации силы тяжести
/ Ю. А. Кравченко
Картография
Седых, С. А. Картографирование ландшафтно-экологической ситуации территории горнодобычи в пределах Патомского нагорья
/ С. А. Седых
Атутова, Ж. В. Историко-картографические данные как источник информации при ландшафтных исследованиях
/ Ж. В. Атутова
Аэрофототопография
Чекалин, В. Ф. Анализ принципов построения геометрии космических снимков и математических моделей их обработки
/ В. Ф. Чекалин, С. Л. Корнеев
Дистанционное зондирование Земли
Корнейчук, А. И. Территориальный план развития как виртуальная реальность
/ А. И. Корнейчук, В. И. Семенов
Жарова, Н. Э.
Автоматическое
создание цифровой модели рельефа по материалам "случайной" стереосъемки группировки космических аппаратов типа "Ресурс-П"
/ Н. Э. Жарова, А. В. Беленов, А. Г. Чибуничева
Проблемы, поиски, решения
Сальников, В. И. Особенности накопления сумм ошибок измерений
/ В. И. Сальников
Имеются экземпляры в отделах:
всего 1 : Чит. зал (1)
Свободны: Чит. зал (1)
Найти похожие
1..4