Электрондық каталог


 

База данных: IPR SMART кітаптар

Беті 1, Нәтижелерін: 2

Отмеченные записи: 0

72122
Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / Зюзьков В. М. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. - 236 с. - ISBN 978-5-4332-0197-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

Кл.слова (ненормированные):
аксиоматический метод -- алгоритм -- вычислимая функция -- математическая логика -- множество -- пропозициональная логика
Аннотация: Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах».

Зюзьков, В. М. Математическая логика и теория алгоритмов [Электронный ресурс] : Учебное пособие / Зюзьков В. М., 2015. - 236 с.

1.

Зюзьков, В. М. Математическая логика и теория алгоритмов [Электронный ресурс] : Учебное пособие / Зюзьков В. М., 2015. - 236 с.


72122
Зюзьков, В. М.
    Математическая логика и теория алгоритмов : учебное пособие / Зюзьков В. М. - Томск : Томский государственный университет систем управления и радиоэлектроники, Эль Контент, 2015. - 236 с. - ISBN 978-5-4332-0197-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.1

Кл.слова (ненормированные):
аксиоматический метод -- алгоритм -- вычислимая функция -- математическая логика -- множество -- пропозициональная логика
Аннотация: Учебное пособие содержит теоретический материал, изучение которого предусмотрено программой курса «Математическая логика и теория алгоритмов» направлений подготовки бакалавров «Информатика и вычислительная техника» и «Управление в технических системах».

144546
Марченков, С. С.
    Машины в теории вычислимых функций : учебное пособие / Марченков С. С. - Москва, Вологда : Инфра-Инженерия, 2024. - 104 с. - ISBN 978-5-9729-2057-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.18

Кл.слова (ненормированные):
вычислимая функция -- вычислительные устройства -- машина минского -- машина тьюринга -- регистровая машина -- счетчиковая машина
Аннотация: Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.
Доп.точки доступа:
Савицкий, И. В.

Марченков, С. С. Машины в теории вычислимых функций [Электронный ресурс] : Учебное пособие / Марченков С. С., 2024. - 104 с.

2.

Марченков, С. С. Машины в теории вычислимых функций [Электронный ресурс] : Учебное пособие / Марченков С. С., 2024. - 104 с.


144546
Марченков, С. С.
    Машины в теории вычислимых функций : учебное пособие / Марченков С. С. - Москва, Вологда : Инфра-Инженерия, 2024. - 104 с. - ISBN 978-5-9729-2057-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 22.18

Кл.слова (ненормированные):
вычислимая функция -- вычислительные устройства -- машина минского -- машина тьюринга -- регистровая машина -- счетчиковая машина
Аннотация: Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счетчиками, счетчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.
Доп.точки доступа:
Савицкий, И. В.

Беті 1, Нәтижелерін: 2

 

Барлық түсімдер 2025
Немесе қызығушылық танытқан айыңызды таңдаңыз
Қаңтар
Ақпан
Наурыз
Сәуір
Мамыр
Маусым
Шілде
Тамыз
Қыркүйек
Қазан
Қараша
Желтоқсан