База данных: IPR База
Страница 1, Результатов: 3
Отмеченные записи: 0
1.
Подробнее
106266
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
2.
Подробнее
67154
Теория алгоритмов : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 32.973
Кл.слова (ненормированные):
грамматика хомского -- детерминированный автомат -- конечный автомат -- машина тьюринга -- общерекурсивная функция -- оператор суперпозиции -- программирование алгоритма -- теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.
Доп.точки доступа:
Опабекова, А. М. \сост.\
Умбетбаев, К. У. \сост.\
Теория алгоритмов : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
грамматика хомского -- детерминированный автомат -- конечный автомат -- машина тьюринга -- общерекурсивная функция -- оператор суперпозиции -- программирование алгоритма -- теория алгоритма
Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики.
Доп.точки доступа:
Опабекова, А. М. \сост.\
Умбетбаев, К. У. \сост.\
3.
Подробнее
11334
Маньшин, М. Е.
Математическая логика и теория алгоритмов : учебное пособие / Маньшин М. Е. - Волгоград : Волгоградский институт бизнеса, 2009. - 106 с. - ISBN 978-5-9061-7260-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12
Кл.слова (ненормированные):
математическая логика -- теоретический материал -- теория алгоритма
Аннотация: В данном учебном пособии изложен теоретический материал, необходимый для изучения дисциплины, структурированный в соответствии с рабочей программой.
Маньшин, М. Е.
Математическая логика и теория алгоритмов : учебное пособие / Маньшин М. Е. - Волгоград : Волгоградский институт бизнеса, 2009. - 106 с. - ISBN 978-5-9061-7260-0 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
математическая логика -- теоретический материал -- теория алгоритма
Аннотация: В данном учебном пособии изложен теоретический материал, необходимый для изучения дисциплины, структурированный в соответствии с рабочей программой.
Страница 1, Результатов: 3