Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 4
Отмеченные записи: 0
1.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 2-е, испр. - Москва : Наука, 1976. - 320 c. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 5
Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
Свободны: Ч/З о. Русский (3), Абонемент учебной и научной литературы (2)
3.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Москва : Наука, 1971. - 320 c. - Библиогр. : с. 297-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Книгохранение (1)
Свободны: Ч/З о. Русский (1), Книгохранение (1)
4.
Подробнее
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
| УДК |
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Страница 1, Результатов: 4