Сводный каталог книг

[Текст] : монография / П. Грэй; Пер.с англ.Х.И.Килова и Г.Е.Минца. ; Под ред.Г.В.Орловского и А.О.Слисенко. - Перевод издания: Logic, algebra and databases / P.M.D.Gray. - Москва : Машиностроение, 1989. - 359 с. : ил + табл. - Библиогр: с.348-358.%ISBN 5-217-00178-Х. - 1.80 р.

УДК	УДК 681.3.06%ББК 32.965

Аннотация: Изложены основные понятия математической логики и алгебры, которые лежат в основе таких приложений этих дисциплин, как базы данных, экспертные системы, системы логического программирования и др. Эти же понятия становятся методологической основой описания, анализа и моделирования автоматизированных интегрированных производств. Описаны концепции Кодасил, функциональные языки запросов, модели баз данных. Для программистов, работающих в промышленности, преподавателей и студентов вузов в области вычислительной техники и информатики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Г.Х. Геворкян, В.Н. Семенов. - Москва : Радио и связь, 1989. - 145 с. : ил. - Библиогр: с.144.%ISBN 5-256-00305-4. -

УДК	УДК 681.3.06%ББК 32.973

Аннотация: В популярной форме дано описание языка Бейсик. Изложены особенности разработки алгоритмов и программ. Приведены программы, которые дают представление о широких возможностях языка Бейсик: игры с ЭВМ, анкеты опроса, тираж спортлото, расчет элементов элекутрических цепей. Для широкого круга читателей.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Семенов, В.Н. ИВМ-Фонд
Свободных экз. нет

[Текст] : монография / Л.Ф. Штернберг; Рецензент А.С.Марков. - Москва : Машиностроение, 1988. - 203 с. : ил + табл. - Библиогр: с.202.%ISBN 5-217-00636-6. -

УДК	УДК 681.3.06%ББК 32.973

Аннотация: Изложены теоретические основы и практические приемы работы на программируемых микрокалькуляторах наиболее распространенных типов. Рассмотрены разработка алгоритма решения задачи, его запись в виде программы, ввод ее в память микрокалькулятора, тестирование и отладка программы. Для широкого круга читателей, желающих освоить работу на микрокалькуляторах указанных типов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44 ИВМ-Фонд
Свободных экз. нет

[Текст] : монография / В.Ф. Очков, Ю.В. Пухначев. - Москва : Финансы и статистика, 1988. - 175 с. : ил. - (Человек и компьютер). - Библиогр: с.169.%ISBN 5-279-00108-2. - 1.10 р.

УДК	УДК 681.3.06%ББК 22.18

Аннотация: Как алгоритмизировать задачу, написать программу, реализующую данный алгоритм, как ввести ее в компьютер, как выполнять расчет - все эти этапы описаны в книге в виде диалогов, участники которых обсуждают решение практических задач из области математики, информатики, научной организации труда, а также игровые и развлекательные программы. Для инженерно-технических работников, учителей и других читателей - будущих пользователей персональных ЭВМ.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Пухначев, Юрий Васильевич
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.А. Непомнящий, О.М.Рякин; Под ред.А.П.Ершова. - Москва : Радио и связь, 1988. - 256 с. : ил + табл. - Библиогр.: с.252-254. - ISBN 5-256-00156-6 : 0.80 р.

УДК	УДК 681.3.06

ББК З973.2-018.14

Аннотация: Излагаются основы современной методологии верификации программ с позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Особое внимание уделяется автоматизации наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов; может быть полезна инженерам, специализирующимся в области вычислительной техники и прикладной математики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Рякин, Олег Михайлович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)