Верещагин, Н. К. Языки и исчисления [Электронный ресурс] : учебное пособие / Верещагин Н. К. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 278 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): задача -- логика -- математика -- теорема -- число Аннотация: В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности. Доп.точки доступа: Шень, А. Х. Свободных экз. нет |
Шень, А. Х. Методы построения алгоритмов [Электронный ресурс] : практикум / Шень А. Х. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 335 с. - ISBN 978-5-4497-0354-5 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): алгоритм сортировки -- код грея -- конечный автомат -- метод построения -- оптимальное кодирование -- построение алгоритма -- программирование -- рекурсия -- тип данных -- язык паскаль Аннотация: Практикум содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель издания — научить основным методам построения корректных и быстрых алгоритмов. Практикум будет полезен учителям информатики, старшеклассникам, студентам младших курсов высших учебных заведений. Может быть использован на кружковых и факультативных занятиях в общеобразовательных учреждениях, в школах с углубленным изучением математики и информатики. Свободных экз. нет |