Алгоритмы и программы №4 2003 год
Содержание:

Библиографическая информация
(561—760)

Основной ряд

06 Экономика.
Экономические науки
16 Языкознание
20 Информатика
27 Математика
28 Кибернетика

28.21 Теория информации.
28.23 Искусственный интеллект.

28.23.01 Общие вопросы искусственного интеллекта
28.23.02 Общие проблемы искусственного интеллекта
28.23.13 Инженерия знаний. Представление знаний.
28.23.15 Распознавание образов. Обработка изображений.
28.23.17 Логика в искусственном интеллекте
28.23.20 Формирование решений в интеллектуальной среде. Модели рассуждений.
28.23.29 Программная реализация интеллектуальных систем.
28.23.35 Экспертные системы.
28.23.37 Нейронные сети.
28.23.39 Интеллектуальные базы знаний.

29 Физика
34 Биология
45 Электротехника
49 Связь

49.03 Теория связи.
49.33 Сети и узлы связи.
49.37 Системы и аппаратура передачи данных.
49.38 Телематические службы и аппаратура.

49.38.29 Системы и аппаратура передачи текстовой и графической информации.

49.39 Телефонная связь и аппаратура.
49.40 Системы передачи движущихся изображений.
49.43 Радиосвязь и радиовещание.
49.46 Оптическая связь в свободном пространстве и аппаратура

50 Автоматика и телемеханика. Вычислительная техника

50.01 Общие вопросы автоматики и вычислительной техники.
50.05 Теоретические основы программирования.

50.05.03 Общетеоретические вопросы программирования.
50.05.09 Языки программирования и спецификаций.
50.05.13 Технология программирования. Автоматизация программирования. Программотехника.
50.05.15 Теория и проблематика программирования для вычислительных сетей.
50.05.17 Теоретические основы системного программного обеспечения.

50.07 Теоретические основы вычислительной техники.
50.09 Элементы, узлы и устройства автоматики, телемеханики и вычислительной техники.
50.33 Цифровые вычислительные машины и вычислительные комплексы (ВК).
50.37 Вычислительные центры (ВЦ).
50.39 Вычислительные сети (ВС).
50.41 Программное обеспечение вычислительных машин, комплексов и сетей.

50.41.01 Общие вопросы.
50.41.15 Операционные системы.
50.41.17 Системное программное обеспечение.

50.41.17.05 Компоненты операционных систем и их расширений.
50.41.17.07 Системы программирования.
50.41.17.09 Программные средства проектирования и разработки программ.
50.41.17.17 Программные средства корпоративных информационных систем.
50.41.17.19 Программные средства распределенных вычислительных систем.

50.41.21 Системы управления базами данных (СУБД).
50.41.25 Прикладное программное обеспечение.

50.41.25.03 Интегрированные пакеты прикладных программ.
50.41.25.05 Программные средства обработки электронных таблиц.
50.41.25.07 Программные средства обработки текстов.
50.41.25.15 Программные средства мультимедиа и гипермедиа.
50.41.25.17 Программные средства машинной графики и других систем визуального отображения.

50.41.27 Компьютерные вирусы. Антивирусные программы.
50.41.29 Программное обеспечение пользовательского интерфейса.

50.47 Автоматизированные системы управления технологическими процессами.
50.49 Автоматизированные системы организационного управления.
50.51 Автоматизация проектирования.
50.53 Автоматизация научных исследований.

55 Машиностроение
60 Полиграфия. Репрография. Фотокинотехника
67 Строительство. Архитектура
73 Транспорт
81 Общие и комплексные проблемы технических и прикладных наук и отраслей народного хозяйства
82 Организация и управление
89 Космические исследования

Указатель использованных источников

Авторский указатель

Указатель языков программирования

Указатель операционных сред

27     Математика

М/59435 № 3

570. Вычислимые функции / Верещагин Н.К., Шень А. — 2-е изд., испр. - М.: МЦНМО, 2002. — 192 с. — (Лекции по мат. логике и теории алгоритмов; Кн. 3). — Библиогр.: 12 назв. — ISBN 5-9000916-39-1

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

Д8-03/83104

571. Комбинаторная логика в программировании: Вычисления с объектами в примерах и задачах: Пер. с англ. / Вольфенгаген В.Э. — 2-е изд. - М., 2003. — VI, 336 с. — (Компьют. науки и информ. технологии). — Библиогр.: 142 назв. — ISBN 5-85158-101-9

М/56551 № 3

572. Пакет программ для компьютерного моделирования пространственно-временных нелинейных процессов / Павлов Б.М., Новиков М.Д. // Програм. системы и инструменты: Темат. сб. тр. фак. вычисл. математики и кибернетики МГУ. — 2002. — № 3. — С. 58-70. — Библиогр.: 12 назв.

Описана структура и возможности интерактивного ППП «Диссипативные структуры», ориентированного на проведение вычислительных экспериментов с математическими моделями типа «реакция-диффузия». Пакет реализован в среде Delphi 5 и работает под управлением ОС Windows 95/98/NT/2000.

М/56551 № 3

573. Троичное конструктное кодирование булевых выражений / Брусенцов Н.П., Владимирова Ю.С. // Програм. системы и инструменты: Темат. сб. тр. фак. вычисл. математики и кибернетики МГУ. — 2002. — № 3. — С. 6-10. — Библиогр.: 10 назв.

Речь идет об усовершенствованной конструктной реализации булевой алгебры в диалоговой системе структурированного программирования.

М/59435 № 2

574. Языки и исчисления / Верещагин Н.К., Шень А. — 2-е изд., стер. - М.: МЦНМО, 2002. — 288 с. — (Лекции по мат. логике и теории алгоритмов; Кн. 2). — Библиогр.: 34 назв. — ISBN 5-9000916-66-9

Рассказывается об основных понятиях математической логики: логике высказываний, языках первого порядка, выразимости, исчислении высказываний и о началах теории моделей.

См. также №№ 636, 646

  
На главную