Skip to content
Choice of metadata Электронный каталог ДВФУ
Page 1, Results: 3
Report on unfulfilled requests: 0
1.
Подробнее
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
| УДК |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
2.
Подробнее
Лавров, Игорь Андреевич.
Логика и алгоритмы : лекции для слушателей факультетов повышения квалификации / И. А. Лавров ; Новосибирский государственный университет. - Новосибирск : Изд-во Новосибирского университета, 1970. - 173 c. : ил.
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- частично рекурсивные функции -- теория моделей -- исчислений предикатов -- исчисление высказываний -- алгебра высказываний
Доп.точки доступа:
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Логика и алгоритмы : лекции для слушателей факультетов повышения квалификации / И. А. Лавров ; Новосибирский государственный университет. - Новосибирск : Изд-во Новосибирского университета, 1970. - 173 c. : ил.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- машины Тьюринга -- частично рекурсивные функции -- теория моделей -- исчислений предикатов -- исчисление высказываний -- алгебра высказываний
Доп.точки доступа:
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
3.
Подробнее
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Изд. 2-е. - Москва : Физматлит, 1984. - 223 c.
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- теория алгоритмов -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 12
Абонемент учебной литературы (10), Ч/З о. Русский (2)
Свободны: Абонемент учебной литературы (10), Ч/З о. Русский (2)
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Изд. 2-е. - Москва : Физматлит, 1984. - 223 c.
| УДК |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- теория алгоритмов -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 12
Абонемент учебной литературы (10), Ч/З о. Русский (2)
Свободны: Абонемент учебной литературы (10), Ч/З о. Русский (2)
Page 1, Results: 3