Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
| УДК |
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Френкель, Абрахам А.
Основания теории множеств : пер. с англ. / А. А. Френкель, И. Бар-Хиллел. - Москва : Мир, 1966. - 555 c.
Кл.слова (ненормированные):
теория множеств (математика) -- интуиционистская позиция (математика) -- множества (математика) -- математика -- антиномии (математика) -- гильбертовская программа (математика) -- логические исчисления (математика) -- аксиома выбора (математика) -- семантика (математика)
Доп.точки доступа:
Бар-Хиллел, Иегоша
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Френкель, Абрахам А.
Основания теории множеств : пер. с англ. / А. А. Френкель, И. Бар-Хиллел. - Москва : Мир, 1966. - 555 c.
| УДК |
Кл.слова (ненормированные):
теория множеств (математика) -- интуиционистская позиция (математика) -- множества (математика) -- математика -- антиномии (математика) -- гильбертовская программа (математика) -- логические исчисления (математика) -- аксиома выбора (математика) -- семантика (математика)
Доп.точки доступа:
Бар-Хиллел, Иегоша
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
С 30
519.6 С 30 / С 30-Ч/З о. Русский
519.6 С 30 / С 30-Абонемент учебной и научной литературы
519.6 С 30 / С 30-Абонемент учебной и научной литературы
519.6 С 30 / С 30-Абонемент учебной и научной литературы
Семантика языков программирования : сборник статей / пер. с англ. А. Н. Бирюкова, В. А. Серебрякова. - Москва : Мир, 1980. - 395 c. - Библиогр. : с. 388-394
Рубрики: программирования языки--грамматика--сборники
Кл.слова (ненормированные):
языки программирования, семантика -- математическое обеспечение -- теория формальных языков -- контекстно-свободные языки, семантика -- семантика (математика) -- программирование (математика) -- атрибутные трансляции (математика)
Доп.точки доступа:
Бирюков, А. Н. \пер.\
Серебряков, В. А. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
С 30
519.6 С 30 / С 30-Ч/З о. Русский
519.6 С 30 / С 30-Абонемент учебной и научной литературы
519.6 С 30 / С 30-Абонемент учебной и научной литературы
519.6 С 30 / С 30-Абонемент учебной и научной литературы
Семантика языков программирования : сборник статей / пер. с англ. А. Н. Бирюкова, В. А. Серебрякова. - Москва : Мир, 1980. - 395 c. - Библиогр. : с. 388-394
| УДК |
Рубрики: программирования языки--грамматика--сборники
Кл.слова (ненормированные):
языки программирования, семантика -- математическое обеспечение -- теория формальных языков -- контекстно-свободные языки, семантика -- семантика (математика) -- программирование (математика) -- атрибутные трансляции (математика)
Доп.точки доступа:
Бирюков, А. Н. \пер.\
Серебряков, В. А. \пер.\
Экземпляры всего: 4
Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (3)
Страница 1, Результатов: 3