Логин
(фамилия)
:
Пароль
(штрих-код)
:
Электронный каталог МУБиНТ - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
"Руконт"-Национальный цифровой ресурс (10)
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>U=681.3<.>)
Общее количество найденных документов
:
194
Показаны документы
с 41 по 60
1..20
21..40
41..60
61..80
81..100
41.
681.3
Е34
Еднерал, В. Ф.
Язык аналитических вычислений REDUSE [Текст] : научное издание / В. Ф. Еднерал, А. П. Крюков, А. Я. Родионов. - М. : Изд-во МГУ, 1988. - 176 с. : табл. - Библиогр.: с. 174-177. -
ISBN
5-211-00187-7 : 1.10 р.
Содержание:
Язык аналитических вычислений REDUSE. Пакеты прикладных программ. Символьная мода вычислений в системе REDUSE. Язык управления заданиями.
ГРНТИ
50.05.09
20.19
УДК
681.3
681.3
.06
Рубрики:
Информатика--Программирование--Языки программирования
Аннотация:
Издание посвящено систематическому изложению языка аналитических вычислений REDUSE. Основные возможности языка включают в себя операции над полиномами и рациональными функциями, матричную алгебру, др.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Крюков, А.П.; Родионов, А.Я. , Чит. зал
Свободных экз. нет
Найти похожие
42.
681.3
М82
Москвитина, А. А.
БЕЙСИК [Текст] : учебное пособие для сред. спец. учеб. заведений / А.А. Москвитина, В.С. Новичков. - М. : Высшая школа, 1989. - 192 с. : ил. - (Алгоритмические языки в техникуме). -
ISBN
5-06-000141-5 : 0.35 р.
Содержание:
Основные понятия алгоритмического языка Бейсик
Программирование линейных алгоритмов
Организация ввода и вывода информации
Программирование циклических алгоритмов
Использование массивов
Прикладные программы на языке Бейсик
ГРНТИ
50.05.09
20
УДК
681.3
681.3
.06
ББК
32.973
Рубрики:
Информатика--Языки программирования
Аннотация:
Рассмотрены вопросы программирования на алгоритмическом языке Бейсик. Изложены основные понятия языка и приемы программирования основных типов вычислительных процессов. Приведены примеры.
Доп.точки доступа:
Новичков, В.С. , Абонемент
Свободных экз. нет
Найти похожие
43.
681.3
Л69
Логическое программирование
[Текст] : пер. с англ. и фр / Под ред. В.Н. Агафонова. - М. : Мир, 1988. - 368 с. : ил. -
ISBN
5-03-000972-8 : Б. ц.
Содержание:
О логическом программировании пишут известные зарубежные специалисты.
ГРНТИ
50.05
20
УДК
681.3
ББК
32.973
Рубрики:
Информатика
Аннотация:
Сборник отражает состояние направления программирования, тесно связанном с математической логикой. Это направление развивается как в теоретическом, так и практическом плане, включая в себя новые языки, методы реализации и проекты машинных архитектур.
Абонемент
Свободных экз. нет
Найти похожие
44.
681.3
У63
Уолш, Б.
Программирование на Бейсике [Текст] = Proper BASIC : пер. с англ / Б. Уолш; Пер. И.В. Емелин. - М. : Радио и связь, 1988. - 336 с. : рис. - Предм. указ.: с. 326-332. -
ISBN
5-256-00437-9 : 1.40 р.
Содержание:
Введение
Подготовка и исполнение программы
Другие основы программирования на Бейсике
Модульное программирование
Другие концепции программирования
Расширения Бейсика
Работа с матрицами
Файлы
Разработка программ
ГРНТИ
50.05.09
20
УДК
681.3
681.3
.06:519.682.2
681.3
.06
ББК
32.973
Рубрики:
Информатика--Языки программирования
Аннотация:
В книге содержатся сведения о языке программирования Бейсик, предназначенные как для начинающих, так и для опытных программистов. Приведено большое количество примеров и задач с решениями.
Доп.точки доступа:
Емелин, И.В. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
45.
681.3
У97
Уайт, М.
Язык Си. Руководство для начинающих [Текст] = C Primer Plus : пер. с англ / М. Уайт, С. Прата, Д. Мартин;. - М. : Мир, 1988. - 512 с. : рис. - Предм. указ.: с. 504. -
ISBN
5-03-001309-1 : 2.10 р.
Содержание:
Вступление
Введение в язык Си
Данные, язык Си и вы
Символьные строки, директива # define, функции printf () и scanf ()
Операции, выражения и операторы
Функции и переключение ввода-вывода
Выбор вариантов
Циклы и другие управляющие средства
Как правильно пользоваться функциями
Классы памяти и разработка программ
Препроцессор языка Си
Массивы и указатели
Символьные строки и функции над строками
Структуры и другие типы данных
Библиотека языка Си и файлы ввода-вывода
ГРНТИ
50.05.09
20
УДК
681.3
681.3
.06
ББК
32.973
Рубрики:
Информатика--Языки программирования
Вычислительная техника--Программное обеспечение
Аннотация:
Книга знакомит с языком программирования Си. Этот язык приобрел за рубежом большую популярность главным образом в связи с широким применением операционной системы UNIX. Уделено внимание методам составления программ и выработке навыков программирования.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Прата, С.; Мартин, Д.; Трахтенгерц, Э. А. \ред.\; Горинович, Л. Н. \пер.\; Явнилович, В. С. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
46.
681.3
А16
Абрамов, С. А.
Начала программирования на языке Паскаль [Текст] : научно-популярная литература / С. А. Абрамов, Е. В. Зима. - М. : Наука, 1987. - 112 с. - 0.20 р.
Содержание:
Основные средства программирования. Ряд дополнительных возможностей. Нестандартные типы. Процедуры и функции. Ссылки, списки, деревья.
ГРНТИ
50.05.09
20
УДК
681.3
519.6
ББК
22.18
Рубрики:
Информатика--ПРОГРАММИРОВАНИЕ--Языки программирования
Аннотация:
Предлагается сокращенный вариант программирования на языке Паскаль. Разбирается большое число примеров и предлагаются задачи для самостоятельного решения.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Зима, Е. В.
Экземпляры всего:
3
Абонемент (2), Чит. зал (1)
Свободны:
Абонемент (2), Чит. зал (1)
Найти похожие
47.
681.3
К82
Кристиан, К.
Руководство по программированию на языке Модула-2 [Текст] = A Guide to Modula-2 : Пер. с англ / К. Кристиан ; ред. А. К. Петренко ; пер.: Д. Ю. Аболин, Д. М. Арапов, М. Г. Тонконогов. - М. : Мир, 1989. - 463 с. : рис. - (Математическое обеспечение ЭВМ). - Предм. указ.: с. 460. -
ISBN
5-03-001117-X :
Содержание:
Переход к Модуле-2
Модули
Развитые типы данных
Системное программирование
ГРНТИ
50.05.09
20
УДК
681.3
681.3
.06
ББК
32.973
Рубрики:
Информатика--Языки программирования
Аннотация:
Книга содержит описание языка Модула-2, его инструкций, стиля программирования. Дается ряд заданий для изучающих язык самостоятельно.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Петренко, А. К. \ред.\; Аболин, Д. Ю. \пер.\; Арапов, Д. М. \пер.\; Тонконогов, М. Г. \пер.\ Чит. зал
Свободных экз. нет
Найти похожие
48.
681.3
П82
Просиз, Дж.
Управление памятью в DOS 5 [Текст] = Guide to DOS 5 Memory Management : пер. с англ / Дж. Просиз; Ред. К.Г. Финогенов, Пер. К.Б. Моисеенко. - М. : Мир, 1994. - 240 с. : рис. -
ISBN
5-03-003046-8 : 1800.00 р.
Содержание:
Память: драгоценный ресурс компьютера
Загрузка DOS в старшую память
Имитация дополнительной памяти
Методика и советы по экономии памяти
Использование диспетчеров памяти третьих фирм
Интерфейс прикладных программ (API) со средствами DOS 5 по обслуживанию памяти
ГРНТИ
50.41.15
20
50.41
УДК
681.3
681.3
.06
ББК
32.973.1
Рубрики:
Информатика
программирование
Аннотация:
Рассмотрен круг вопросов, возникающих при оптимизации работы ПК путем использования расширенной памяти. Описаны процедуры загрузки в расширенную память драйверов DOS, возможности переноса в расширенную память буферов DOS и других системных областей.
Доп.точки доступа:
Финогенов, К.Г. \ред.\; Моисеенко, К.Б. \пер.\ , Абонемент
Свободных экз. нет
Найти похожие
49.
681.3
С58
Сойер, Б.
Программирование экспертных систем на Паскале [Текст] = Programming expert systems in Pascal : пер. с англ / Б. Сойер, Д. Л. Фостер ; пер. В. А. Белов. - М. : Финансы и статистика, 1990. - 191 с. : рис. - Предм. указ.: с. 190. -
ISBN
5-279-00449-9 : 0.55 р.
Содержание:
Экспертные системы в перспективе
Искусственный интеллект и экспертные системы
Элементы экспертных систем.
Проектирование экспертной системы.
Построение экспертной системы
Представление фактов.
Управление фактами в базе знаний.
Представление знаний
Представление неопределенности
Использование многозначных выражений.
Вопросы и разрешенные значения
Чтение правил.
Достижение цели.
Экспертная система в действии
Создание подсистемы объяснения
Использование экспертных систем
Взаимодействие экспертной системы с существующими приложениями
ГРНТИ
50.05.09
20
УДК
681.3
681.3
.06
ББК
24.4.1
Рубрики:
Информатика--Языки программирования
Аннотация:
Описаны архитектура и процесс создания набольшой продукционной системы на языке Турбо Паскаль с обратной последовательностью вывода. Система документирована полными листингами программ и примерами небольших баз знаний.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Фостер, Д. Л.; Белов, В. А. \пер.\
Экземпляры всего:
1
Абонемент (1)
Свободны:
Абонемент (1)
Найти похожие
50.
681.3
М33
Математика и САПР [Текст] = Mathematiques et Cao : в 2-х кн.Вычислительные методы. Геометрические методы = Calcul Scientifique. Courbes et Surfaces : пер. с франц / П. Жермен-Лакур, П. Л. Жорж, Ф. Пистр, П. Безье; Ред. Н. Г. Волков, Пер. В. В. Коваленко, Пер. С. Д. Чигирь. - М. : Мир, 1989. - 260 с. : рис. - Библиогр.: с. 249-255. - Предм. указ.: с. 256-257. -
ISBN
5-03-000465-3. - 5-03-000464-5 : 1.40 р.
Содержание:
Вычислительные методы
Геометрические методы
ГРНТИ
27.41.23
УДК
681.3
681.3
.082.5
ББК
32.97
Рубрики:
Математика
Аннотация:
Книга посвящена численным методам, применяемым в САПР, в том числе методам решения систем обыкновенных дифференциальных уравнений в частных производных, а также методам аппроксимации кривых и поверхностей.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Жермен-Лакур, П.; Жорж, П. Л.; Пистр, Ф.; Безье, П.; Волков, Н. Г. \ред.\; Коваленко, В. В. \пер.\; Чигирь, С. Д. \пер.\ , Абонемент
Свободных экз. нет
Найти похожие
51.
681.3
Е55
Елшин, Ю. М.
Создание графической и текстовой документации в диалоге с ЭВМ [Текст] : научно-популярная литература / Ю.М. Елшин, Н.А. Назаретова. - М. : Машиностроение, 1988. - 143 с. : рис. - Библиогр.: с. 141. -
ISBN
5-217-00159-3 : 0.40 р.
Содержание:
Программно-технические средства организации диалога с ЭВМ. Информационное и лингвистическое обеспечение диалога. Графические операции формирования чертежей. Формирование и выпуск текстовых конструкторских документов.
ГРНТИ
50
УДК
681.3
ББК
32.42
Рубрики:
Информатика--Прикладное программное обеспечение
Аннотация:
Расссмотрены аппаратно-программные средства и методы графического диалога человека с ЭВМ при автоматизации проектно-конструкторских работ и выпуске графической и текстовой документации. Дано представление о возможностях языка графического взаимодействия по формированию чертежей на экране дисплея.
Доп.точки доступа:
Назаретова, Н.А. , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
52.
681.3
К36
Кёршан, Б.
Основы компьютерной грамотности [Текст] / Б. Кёршан, А. Новембер, Д. Стоун; Ред. Е.К. Масловский, Пер. М.Б. Кацнельсон, Пер. Н.Н. Потапов, Худ. А.Я. Коршунов, Худ. О.И. Орлова = Computer Literacy / B. Kurshan, A. November, J. Stone : пер. с англ. - М. : Мир, 1989. - 254 с. : ил. - Словарь: с. 252-254. -
ISBN
5-03-00405-Х : 2.70 р.
Содержание:
Введение. Компоненты компьютера. Как работает компьютер. История развития средств вычислительной техники. Возможности программ. Использование прикладного программного обеспечения. Что еще может компьютер. Компьютеры завтрашнего дня.
ГРНТИ
50
20
УДК
681.3
ББК
32.97
Рубрики:
Вычислительная техника--Программное обеспечение
Вычислительная техника--Физические основы ЭВМ
Аннотация:
Пособие по основам информатики и вычислительной техники для средних учебных заведений. Излагаются основные принципы построения, программирования и применения копмьютеров при решении различных практических задач. Используется язык Бейсик в качестве основных. Обсуждаются перспективы развития вычислительной техники.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Новембер, А.; Стоун, Д.; Масловский, Е. К. \ред.\; Кацнельсон, М. Б. \пер.\; Потапов, Н. Н. \пер.\; Коршунов, А. Я. \худ.\; Орлова, О. И. \худ.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
53.
681.3
М15
Макдона, Р.
Основы микрокомпьютерных вычислений [Текст] = First Microcomputing Book. Second Microcomputing Book. Third Microcomputing Book. : пер. с англ / Р. Макдона; Ред. В.Ф. Шаньгин, Пер. Т.Г. Никольская. - М. : Высшая школа, 1989. - 272 с. : рис. - Библиогр.: с. 255. - Решения к упражнениям и вопросам: с. 256-270. - Предм. указ.: с. 271-272. -
ISBN
5-06-000318-3 : 2.00 р.
Содержание:
Первые устройства счета
Первые механические счетные устройства
Ввод-вывод информации
Язык Бейсик
ГРНТИ
50
УДК
681.3
681.3
22
ББК
32.973.2
Рубрики:
Информатика--Программирование--Языки программирования
Вычислительная техника--Архитектура сети--ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Аннотация:
Изложена история развития вычислительной техники, приведен необходимый минимум сведений об устройстве компьютера и микрокомпьютера. Большая часть книги посвящена изучению языка программирования Бейсик и методам составления на этом языке программ решения различных задач.
Доп.точки доступа:
Шаньгин, В.Ф. \ред.\; Никольская, Т.Г. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
54.
681.3
К63
Компьютеры [Текст] : справочное руководство. В 3-х томах.
Т. 1
: пер. с англ / Пер. Т. М. Дадашев, Пер. В. М. Кисельников, Пер. В. С. Чепур, Пер. В. С. Штаркман, Ред. И. О. Атовмян. - М. : Мир, 1986. - 413 с. : рис. - Предм. указ.: с. 402-410. - 1.60 р.
Содержание:
История создания вычислительных машин и основные понятия
Структуры ЭВМ
Системы счисления и коды
Булева алгебра
Элемент памяти
Системы с разделением времени
ГРНТИ
50
УДК
681.3
ББК
32.97
Рубрики:
Вычислительная техника
Справочники
Аннотация:
Пособие посвящено вопросам построения и применения средств вычислительной техники. В томе 1 рассматриваются аппаратные средства ЭВМ. Приводятся основы машинной арифметики, булевой алгебры. Дается подробное описание основных компонентов ЭВМ.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Хеллерман, Г.; Гамахер, В.; Вранежич, З.; Заки, С.; Кохави , З.; Гивоне, Д.; Рессер, Р.; Голт, Дж.; Пиммел, Р.; Барти, Т.; Вранесик , З.; Гиэр, К.; Конрой, Т.; Дадашев, Т. М. \пер.\; Кисельников, В. М. \пер.\; Чепур, В. С. \пер.\; Штаркман, В. С. \пер.\; Атовмян, И. О. \ред.\ , Абонемент
Свободных экз. нет
Найти похожие
55.
681.3
Л25
Ларионов, А. М.
Вычислительные комплексы, системы и сети [Текст] : учебник для вузов / А. М. Ларионов, С. А. Майоров, Г. И. Новиков. - Л. : Энергоатомиздат. Ленинградское отделение, 1987. - 286 с. : рис. - Библиогр.: с. 281. - Предм. указ.: с. 282-284. - 1.00 р.
Содержание:
Системы обработки данных
Вычислительные комплексы
Системы телеобработки
Вычислительные сети
Основы теории вычислительных систем
Проектирование и эксплуатация
ГРНТИ
50
20
УДК
681.3
681.3
1(075.8)
ББК
32.97
Рубрики:
Вычислительная техника
вычислительные сети
Аннотация:
Рассмотрены принципы построения и функционирования многомашинных и многопроцессорных вычислительных комплексов, систем телеобработки, вычислительных сетей. Изложены методы оценки производительности вычислительных систем.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Майоров, С. А.; Новиков, Г. И. , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
56.
681.3
К77
Крамм, Р.
Системы управления базами данных dBase II и dBase III для персональных компьютеров [Текст] = Understanding and using dBase II and III : пер. с англ / Р. Крамм; Пер. В. А. Белов. - М. : Финансы и статистика, 1988. - 383 с. : рис. - Предм. указ.: с. 380-381. - Команды dBase: с.382. -
ISBN
5-279-00064-7 : 1.70 р.
Содержание:
Что такое база данных?
Работа на уровне файлов
Командные файлы
Организация записей
Программы редактирования
Специальные вопросы
Дополнительные возможности dBase III
Формирование отчетов произвольной формы
Изменение и исправление больших массивов
ГРНТИ
50.41.21
УДК
681.3
ББК
24.4.9
Рубрики:
Информатика--Программное обеспечение
Информатика--ИНФОРМАЦИОННЫЕ СИСТЕМЫ
Аннотация:
Руководство по системам dbase 2 и dbase 3, которые рассмотрены в параллельном сравнении. Изложены принципы организации файлов для работы с прикладными пакетами типа ЛОТУС 1-2-3, СУПЕРКАЛК, УОРДСТАР
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Белов, В. А. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
57.
681.3
Т33
Теннант-Смит, Дж.
Бейсик для статистиков [Текст] = BASIC statistics : пер. с англ / Дж. Теннант-Смит; Ред. А.А. Савченко, Пер. А.А. Савченко. - М. : Мир, 1988. - 207 с. : рис. - Библиогр.: с. 196-197. - Предм. указ.: с. 198-203. - Указ . программ и операторов: с. 204-205. -
ISBN
5-03-000725-3 : 1.20 р.
Содержание:
Введение в Бейсик.
Элементарная описательная статистика.
Скорость и точность вычислений.
Элементарная теория вероятностей и моделирование
Дополнительная описательная статистика
Случайные величины и распределения вероятностей
Непрерывные случайные величины и функции плотности распределений вероятностей
Выборочный метод и оценивание.
Проверка гипотез.
Регрессия и корреляция.
Другие статистические модели и методы
ГРНТИ
50.05.09
83.77.31
УДК
681.3
681.3
22-185.4
519.22/.25
681.3
.06
ББК
32.97 + 22.172
Рубрики:
Информатика--Языки программирования
Аннотация:
Книга посвящена применению языка Бейсик к решению прикладных статистических задач. Дается краткое изложение основных вероятностных и статистических методов. Для математиков-прикладников, программистов.
Доп.точки доступа:
Савченко, А.А. \ред.\; Савченко, А.А. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
58.
681.3
Т58
Топхем, Д.
Юникс и Ксеникс [Текст] = Unix and Xenix : пер. с англ / Д. Топхем, Х. В. Чьюнг; Ред. В. Д. Никитин, Пер. В. В. Макаров, Пер. В. Ф. Оверченко. - М. : Мир, 1988. - 390 с. : рис. - Предм. указ.: с. 388-389. -
ISBN
5-03-000403-3 : 2.20 р.
Содержание:
Основные сведения о системе Юникс
Редактирование текста с помощью редактора ed
Редактирование текста с помощью редакторов vi и ex
Обработка и форматирование текста
Программирование на языке shell системы Юникс
ГРНТИ
50.41.15
УДК
681.3
681.3
1
681.3
.06
ББК
32.973-01
Рубрики:
Информатика--Операционная система
Аннотация:
Книга для самостоятельного изучения приемов работы с одной их самых распространенных операционных систем и ее версиями. Материал имеет практическую направленность, иллюстрирован.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Чьюнг, Х. В.; Никитин, В. Д. \ред.\; Макаров, В. В. \пер.\; Оверченко, В. Ф. \пер.\ , Абонемент, Чит. зал
Свободных экз. нет
Найти похожие
59.
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
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\ , Чит. зал
Свободных экз. нет
Найти похожие
60.
681.3
Ш76
Шнайдер, А.
Язык ассемблера для персонального компьютера фирмы IBM [Текст] : пер. с англ / А. Шнайдер. - М. : Мир, 1988. - 406 с. : ил. -
ISBN
5-03-000394-0 : Б. ц.
Содержание:
Технические средства. Программное обеспечение. Основные сведения об ассемблере. Архитектура аппаратных средств. Команды. Программирование ввода-вывода.
ГРНТИ
50.05.09
УДК
681.3
ББК
32.97
Рубрики:
Информатика
Аннотация:
Это пособие по программированию на языке ассемблера. Уделяется внимание написанию, отладке и выполнению программ.
Экземпляры всего:
1
Абонемент (1)
Свободных экз. нет
Найти похожие
1..20
21..40
41..60
61..80
81..100