Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 3, Результатов: 28
Отмеченные записи: 0
21.
Подробнее
Пак, Геннадий Константинович.
Дискретная математика : учебное пособие для вузов / [Г. К. Пак] ; Институт технологии и бизнеса. - Находка : Изд-во Института технологии и бизнеса, 2001. - 107 c. : ил., табл. - Библиогр. : с. 107. - ISBN 5896940297
Авт. указ. на обл.
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
комбинаторный анализ -- теория графов -- множества (комбинаторика) -- булевы функции -- замкнутые множества -- сети (дискретная математика) -- кодирования теория -- алгоритмов теория -- Тьюринга машины -- графы (математика) -- автоматные функции -- ДВ РУМЦ
Доп.точки доступа:
Институт технологии и бизнеса (Находка)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Пак, Геннадий Константинович.
Дискретная математика : учебное пособие для вузов / [Г. К. Пак] ; Институт технологии и бизнеса. - Находка : Изд-во Института технологии и бизнеса, 2001. - 107 c. : ил., табл. - Библиогр. : с. 107. - ISBN 5896940297
Авт. указ. на обл.
| УДК |
Рубрики: дискретная математика--учебные издания для вузов
Кл.слова (ненормированные):
комбинаторный анализ -- теория графов -- множества (комбинаторика) -- булевы функции -- замкнутые множества -- сети (дискретная математика) -- кодирования теория -- алгоритмов теория -- Тьюринга машины -- графы (математика) -- автоматные функции -- ДВ РУМЦ
Доп.точки доступа:
Институт технологии и бизнеса (Находка)
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
22.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Колмогоров, Андрей Николаевич.
Математическая логика : учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Московский государственный университет. ; Московский государственный университет. - Москва : Едиториал УРСС, 2004. - 238 c. : ил. - (Классический университетский учебник). - Библиогр. : с. 228.. - ISBN 535400389X
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
Геделя теорема -- теория алгорифмов -- теория множеств -- логические законы (математика) -- семантика языка (математика) -- исчисление предикатов (математика) -- логико-математические языки -- булева алгебра -- исчисление высказываний -- математические структуры -- применение алгебры логики -- логика предикатов -- Тьюринга машины -- теория доказательств -- язык теории множеств -- Черча тезис
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Московский государственный университет
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2)
23.
Подробнее
Автоматы : сборник статей : пер. с англ. / под ред. К. Э. Шеннона, Дж. Маккарти. - Москва : Изд-во Иностранной литературы, 1956. - 403 с. : ил. - Библиогр. в конце глав.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
теория автоматов -- кибернетика -- автоматы конечные -- Тьюринга машины -- синтез автоматов
Доп.точки доступа:
Шеннон, К. Э. \ред.\
Маккарти, Дж. \ред.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Автоматы : сборник статей : пер. с англ. / под ред. К. Э. Шеннона, Дж. Маккарти. - Москва : Изд-во Иностранной литературы, 1956. - 403 с. : ил. - Библиогр. в конце глав.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
теория автоматов -- кибернетика -- автоматы конечные -- Тьюринга машины -- синтез автоматов
Доп.точки доступа:
Шеннон, К. Э. \ред.\
Маккарти, Дж. \ред.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
24.
Подробнее
Калинина, Евгения Александровна.
Теория алгоритмов [Электронный ресурс] : методические рекомендации для студентов физико-математического факутьтета : [учебное электронное издание] / Е. А. Калинина ; Уссурийский государственный педагогический институт, Кафедра алгебры и геометрии. - Электроные текстовые данные. - Уссурийск : Изд-во Уссурийского педагогического института, 2010. - ISBN 9785867332563
Электронная копия печатного издания
Кл.слова (ненормированные):
алгоритмы -- вычислительные модели -- Тьюринга машины -- Евклида алгоритм -- машины с неограниченными регистрами -- алгоритмов теория
Доп.точки доступа:
Уссурийский государственный педагогический институт. Кафедра алгебры и геометрии
Калинина, Евгения Александровна.
Теория алгоритмов [Электронный ресурс] : методические рекомендации для студентов физико-математического факутьтета : [учебное электронное издание] / Е. А. Калинина ; Уссурийский государственный педагогический институт, Кафедра алгебры и геометрии. - Электроные текстовые данные. - Уссурийск : Изд-во Уссурийского педагогического института, 2010. - ISBN 9785867332563
Электронная копия печатного издания
Кл.слова (ненормированные):
алгоритмы -- вычислительные модели -- Тьюринга машины -- Евклида алгоритм -- машины с неограниченными регистрами -- алгоритмов теория
Доп.точки доступа:
Уссурийский государственный педагогический институт. Кафедра алгебры и геометрии
25.
Подробнее
Калинина, Евгения Александровна.
Теория алгоритмов : методические рекомендации для очного и заочного обучения физико-математического факультета / Е. А. Калинина ; Уссурийский государственный педагогический институт, Кафедра алгебры и геометрии. - Уссурийск : [Изд-во Уссурийского педагогического института], 2010. - 49 с. : ил., табл. - Библиогр.: с. 49. - ISBN 9785867332563
Авт. указ. на обл. и обор. тит. л.
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгоритмы -- вычислительные модели -- Тьюринга машины -- Евклида алгоритм -- машины с неограниченными регистрами
Доп.точки доступа:
Уссурийский государственный педагогический институт. Кафедра алгебры и геометрии
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Калинина, Евгения Александровна.
Теория алгоритмов : методические рекомендации для очного и заочного обучения физико-математического факультета / Е. А. Калинина ; Уссурийский государственный педагогический институт, Кафедра алгебры и геометрии. - Уссурийск : [Изд-во Уссурийского педагогического института], 2010. - 49 с. : ил., табл. - Библиогр.: с. 49. - ISBN 9785867332563
Авт. указ. на обл. и обор. тит. л.
| УДК |
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
алгоритмы -- вычислительные модели -- Тьюринга машины -- Евклида алгоритм -- машины с неограниченными регистрами
Доп.точки доступа:
Уссурийский государственный педагогический институт. Кафедра алгебры и геометрии
Экземпляры всего: 2
Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
26.
Подробнее
Хант, Эрл Б.
Искусственный интеллект / Хант Э. ; пер. с англ. Д. А. Белова, Ю. И. Крюкова. - Москва : Мир, 1978. - 558 c. : табл., ил. - Библиогр. : с. 528-545
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
распознавание образов -- искусственный интеллект -- машинное доказательство теорем -- вычислительная техника -- эвристические программы -- Тьюринга машины -- алгоритмы с обучением
Доп.точки доступа:
Белов, Д. А. \пер.\
Крюков, Ю. И. \пер.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1), Абонемент учебной и научной литературы (402) (1)
Хант, Эрл Б.
Искусственный интеллект / Хант Э. ; пер. с англ. Д. А. Белова, Ю. И. Крюкова. - Москва : Мир, 1978. - 558 c. : табл., ил. - Библиогр. : с. 528-545
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
распознавание образов -- искусственный интеллект -- машинное доказательство теорем -- вычислительная техника -- эвристические программы -- Тьюринга машины -- алгоритмы с обучением
Доп.точки доступа:
Белов, Д. А. \пер.\
Крюков, Ю. И. \пер.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1), Абонемент учебной и научной литературы (402) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент научной литературы (1), Абонемент учебной и научной литературы (402) (1)
27.
Подробнее
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы : учебное пособие для вузов / А. Н. Колмогоров, А. Г. Драгалин. - Москва : Изд-во Московского университета, 1984. - 119 с. - Библиогр. : с. 119.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
множеств теория--учебные издания для вузов
Кл.слова (ненормированные):
теория множеств -- язык теории множеств -- теория алгорифмов -- Черча тезис -- Тьюринга машины -- Геделя теорема -- теория доказательств -- логика предикатов
Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 5
Абонемент учебной литературы (4), Ч/З о. Русский (1)
Свободны: Абонемент учебной литературы (4), Ч/З о. Русский (1)
28.
Подробнее
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
| УДК |
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Страница 3, Результатов: 28