Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 1, Results: 3
Отмеченные записи: 0
1.
Подробнее
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева. - Москва : Мир, 1973. - 480 c. : табл. - Библиогр. : с. 451-465.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--монографии
Кл.слова (ненормированные):
рекурсивные функции -- Тьюринга машина -- Черча теорема -- исчисление предикатов -- вычислимость -- исчисление высказываний -- разрешимость -- Геделя теорема -- основания математики -- теория моделей -- теория доказательств -- Скулема парадокс -- Генцена теорема -- формальные системы, метаматематика -- формальная арифметика -- Эрбрана теорема
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Матрос, Дмитрий Шаевич.
Теория алгоритмов : учебник для вузов / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаборатория знаний, 2008. - 202 с. : ил. - (Педагогическое образование). - Библиогр. : с. 196-197. - ISBN 9785947742268
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- Тьюринга машина -- Неймана машина (математика) -- рекурсивные функции -- Маркова алгоритмы -- Райса теорема -- рекурсивные операторы -- элементарные функции -- алгоритмические модели -- нумерация алгоритмов -- сложность алгоритмов -- сложность вычислений (математика) -- вычислительный процесс -- Хомского иерархия
Доп.точки доступа:
Поднебесова, Галина Борисовна
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Матрос, Дмитрий Шаевич.
Теория алгоритмов : учебник для вузов / Д. Ш. Матрос, Г. Б. Поднебесова. - Москва : БИНОМ. Лаборатория знаний, 2008. - 202 с. : ил. - (Педагогическое образование). - Библиогр. : с. 196-197. - ISBN 9785947742268
Рубрики: алгоритмов теория--учебные издания для вузов
Кл.слова (ненормированные):
теория алгоритмов -- Тьюринга машина -- Неймана машина (математика) -- рекурсивные функции -- Маркова алгоритмы -- Райса теорема -- рекурсивные операторы -- элементарные функции -- алгоритмические модели -- нумерация алгоритмов -- сложность алгоритмов -- сложность вычислений (математика) -- вычислительный процесс -- Хомского иерархия
Доп.точки доступа:
Поднебесова, Галина Борисовна
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Хранение Отдела организации и использования фонда (1), Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
3.
Подробнее
Шалыто, А. А.
Автоматное программирование и параллельные вычисления / А. А. Шалыто, Е. А. Мандриков, Ю. К. Чеботарева // Известия вузов. Приборостроение. - Т. 52, N 10 (2009), С. 66-73. - Библиогр.: с. 73 (16 назв. ). - Специальный выпуск: Технологии высокопроизводительных вычислений и компьютерного моделирования/ Под ред. д-ра техн. наук, проф. А. В. Бухановского
ББК 32.973-018.2 +
32.973-018 + 73
Рубрики: Вычислительная техника
Системы обработки численных данных
Программирование ЭВМ. Компьютерные программы. Программотехника
Информатика
Информационные системы с базами знаний
Кл.слова (ненормированные):
программная инженерия -- автоматизированные объекты управления -- автоматное программирование -- автоматическая система управления -- технологии программирования -- проектирование программ -- машина Тьюринга -- Тьюринга машина -- генерация автоматных программ -- параллельные вычисления -- генетические алгоритмы -- закон Амдала -- Амдала закон
Аннотация: Представлены основные положения автоматного программирования, обоснована предпочтительность его использования при разработке программного обеспечения. Описываются возможности применения параллельных вычислительных технологий для генерации автоматов.
Доп.точки доступа:
Мандриков, Е. А.
Чеботарева, Ю. К.
Шалыто, А. А.
Автоматное программирование и параллельные вычисления / А. А. Шалыто, Е. А. Мандриков, Ю. К. Чеботарева // Известия вузов. Приборостроение. - Т. 52, N 10 (2009), С. 66-73. - Библиогр.: с. 73 (16 назв. ). - Специальный выпуск: Технологии высокопроизводительных вычислений и компьютерного моделирования/ Под ред. д-ра техн. наук, проф. А. В. Бухановского
| УДК |
Рубрики: Вычислительная техника
Системы обработки численных данных
Программирование ЭВМ. Компьютерные программы. Программотехника
Информатика
Информационные системы с базами знаний
Кл.слова (ненормированные):
программная инженерия -- автоматизированные объекты управления -- автоматное программирование -- автоматическая система управления -- технологии программирования -- проектирование программ -- машина Тьюринга -- Тьюринга машина -- генерация автоматных программ -- параллельные вычисления -- генетические алгоритмы -- закон Амдала -- Амдала закон
Аннотация: Представлены основные положения автоматного программирования, обоснована предпочтительность его использования при разработке программного обеспечения. Описываются возможности применения параллельных вычислительных технологий для генерации автоматов.
Доп.точки доступа:
Мандриков, Е. А.
Чеботарева, Ю. К.
Page 1, Results: 3