Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 26
Отмеченные записи: 0
1.
Подробнее
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кузнецов, Олег Петрович.
Дискретная математика для инженера / О. П. Кузнецов. - Изд. 6-е, стер. - Санкт-Петербург : Лань, 2014. - 395 с. : ил., табл. - (Учебники для вузов. Специальная литература). - Библиогр. : с. 388-389.. - ISBN 9785811405701
| УДК |
Рубрики: дискретная математика--учебные издания
графов теория--учебные издания
Кл.слова (ненормированные):
множеств теория -- общая алгебра -- математические операции -- логические функции -- логика предикатов -- алгоритмов теория -- рекурсивные функции -- Тьюринга машины -- формальные системы -- исчисление предикатов -- математическое исчисление -- логическое исчисление -- формальные грамматики -- семантика формальных языков -- вычислительная сложность
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
Ершов, Юрий Леонидович.
Математическая логика : учебное пособие / Ю. Л. Ершов, Е. А. Палютин. - Изд. 3-е, стер. - Санкт-Петербург : Лань, 2004. - 336 c. - (Учебники для вузов. Специальная литература). - ISBN 5811405332
| УДК |
Кл.слова (ненормированные):
алгебраические системы -- алгоритмы -- рекурсивные функции -- математическая логика -- множеств теория -- булева алгебра -- Логика -- теория множеств -- исчисление предикатов -- Эрбрана теорема
Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 2
Ч/З о. Русский (2)
Свободны: Ч/З о. Русский (2)
3.
Подробнее
Дегтев, Александр Николаевич.
Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев. - Москва : Наука, 1998. - 176 c. - Библиогр. : с. 170-174.. - ISBN 5020148431
Кл.слова (ненормированные):
алгебра -- табличные методы -- математическая логика -- Булитко-Селиванова теорема -- рекурсивные функции -- табличная сходимость (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Дегтев, Александр Николаевич.
Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев. - Москва : Наука, 1998. - 176 c. - Библиогр. : с. 170-174.. - ISBN 5020148431
| УДК |
Кл.слова (ненормированные):
алгебра -- табличные методы -- математическая логика -- Булитко-Селиванова теорема -- рекурсивные функции -- табличная сходимость (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Сложность вычислений и алгоритмов : сборник переводов / под ред. В. А. Козмидиади, А. Н. Маслова, Н. В. Петри. - Москва : Мир, 1974. - 389 c. - (Кибернетический сборник)
| УДК |
Кл.слова (ненормированные):
алгоритмы -- Тьюринга машины -- модели вычислительных систем -- математика -- контекстно-свободные языки -- рекурсивные функции
Доп.точки доступа:
Козмидиади, В. А. \ред.\
Маслов, А. Н. \ред.\
Петри, Н. В. \ред.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
5.
Подробнее
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий. - Изд. 2-е. - Москва : Наука, 1984. - 224 c. - (Проблемы науки и технического прогресса)
Кл.слова (ненормированные):
программирование -- коллективные алгоритмы -- формальные языки -- теория алгоритмов -- алгоритмически неразрешимые проблемы -- математика -- прикладная математика -- рекурсивные функции -- ЭВМ -- автоматизация процессов управления -- теория множеств
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Криницкий, Николай Андреевич.
Алгоритмы вокруг нас / Н. А. Криницкий. - Изд. 2-е. - Москва : Наука, 1984. - 224 c. - (Проблемы науки и технического прогресса)
| УДК |
Кл.слова (ненормированные):
программирование -- коллективные алгоритмы -- формальные языки -- теория алгоритмов -- алгоритмически неразрешимые проблемы -- математика -- прикладная математика -- рекурсивные функции -- ЭВМ -- автоматизация процессов управления -- теория множеств
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
6.
Подробнее
Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции / А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367 c. : ил. - Библиогр. : с. 348-354.
Прил. : с. 355-364.
Кл.слова (ненормированные):
алгоритмы -- рекурсивные функции (математика) -- математическая логика -- математика -- Тьюринга алгоритмы -- теория алгоритмов
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции / А. И. Мальцев. - Изд. 2-е. - Москва : Наука, 1986. - 367 c. : ил. - Библиогр. : с. 348-354.
Прил. : с. 355-364.
| УДК |
Кл.слова (ненормированные):
алгоритмы -- рекурсивные функции (математика) -- математическая логика -- математика -- Тьюринга алгоритмы -- теория алгоритмов
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
7.
Подробнее
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
8.
Подробнее
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
9.
Подробнее
Петер, Р.
Рекурсивные функции / Р. Петер ; пер. с нем. В. А. Успенского. - Москва : Иностранная литература, 1954. - 264 c. - Библиогр. : с. 250-255.
Кл.слова (ненормированные):
рекурсивность -- рекурсивные функции -- функции (математика) -- математика -- математическая логика
Доп.точки доступа:
Успенский, Владимир Андреевич \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Петер, Р.
Рекурсивные функции / Р. Петер ; пер. с нем. В. А. Успенского. - Москва : Иностранная литература, 1954. - 264 c. - Библиогр. : с. 250-255.
| УДК |
Кл.слова (ненормированные):
рекурсивность -- рекурсивные функции -- функции (математика) -- математика -- математическая логика
Доп.точки доступа:
Успенский, Владимир Андреевич \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
10.
Подробнее
Математические вопросы кибернетики : [сборник статей] / под ред. С. В. Яблонского. - Москва : Наука, 1991 - .
вып. 3. - 228 c.. - ISBN 5020143235
Кл.слова (ненормированные):
дискретная математика -- булевы функции -- линейные автоматы -- математическая кибернетика -- рекурсивные функции -- абстрактная теория вычислимости -- математика
Доп.точки доступа:
Яблонский, Сергей Всеволодович \ед.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Математические вопросы кибернетики : [сборник статей] / под ред. С. В. Яблонского. - Москва : Наука, 1991 - .
вып. 3. - 228 c.. - ISBN 5020143235
| УДК |
Кл.слова (ненормированные):
дискретная математика -- булевы функции -- линейные автоматы -- математическая кибернетика -- рекурсивные функции -- абстрактная теория вычислимости -- математика
Доп.точки доступа:
Яблонский, Сергей Всеволодович \ед.\
Экземпляры всего: 2
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1)
Страница 1, Результатов: 26