Рязанов, Ю. Д. Теория вычислительных процессов [Электронный ресурс] : лабораторный практикум. Учебное пособие / Рязанов Ю. Д. - Белгород : Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2011. - 100 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): автомат мили -- автомат мура -- вычислительный процесс -- машина тьюринга -- одноленточный автомат -- сети петри Аннотация: В учебном пособии содержатся теоретические сведения и необходимые рекомендации к выполнению лабораторных работ по дисциплине «Теория вычислительных процессов» в соответствии с государственным образовательным стандартом высшего профессионального образования. Рассмотрены основы теоретического программирования: вычислимость и разрешимость, одноленточные автоматы, автоматы Мили и Мура, схемы программ, сети Петри. Теоретический материал сопровождается примерами и задачами с решениями. Учебное пособие предназначено для студентов дневной и заочной форм обучения по направлению подготовки 230100 «Информатика и вычислительная техника» и специальности 230105 — Программное обеспечение вычислительной техники и автоматизированных систем. Свободных экз. нет |