Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов : [учебное пособие для математических факультетов университетов и педагогических институтов] / И. А. Лавров, Л. Л. Максимова. - Москва : Наука, 1975. - 240 c. - Библиогр. : с. 232.
| УДК |
Рубрики: математика--учебные издания для вузов
Кл.слова (ненормированные):
частично рекурсивные функции -- теория множеств -- математическая логика -- алгебра высказываний -- ординальные числа -- задачники (математика) -- аксиоматические теории -- кардинальные числа -- предикаты -- логика математическая -- функции рекурсивные -- кибернетика -- теория алгоритмов
Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
2.
Подробнее
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Игошин, Владимир Иванович.
Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - Москва : Академия, 2006. - 303 с. : табл. - (Высшее профессиональное образование). - ISBN 5769529148
| УДК |
Рубрики: математическая логика--учебные издания для вузов
алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- Маркова алгоритмы -- Тьюринга машины
Экземпляры всего: 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