Научная библиотека ТГУ catalog › Results of search for 'su:"вычислимые функции."'

Search

Your search returned 9 results.

	1.	Введение в дискретную математику Учебное пособие для вузов по специальности "Прикладная математика" С. В. Яблонский; Под ред. В. А. Садовничего by Яблонский, Сергей Всеволодович, 1924-1998 \| Садовничий, Виктор Антонович, 1939- [ред.]. Series: Высшая математикаEdition: 3-е изд., стереотип.Material type: Text; Format: print ; Literary form: Not fiction Publication details: М. Высшая школа 2001Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Параллельное программирование мультикомпьютеров Учебное пособие В. Э. Малышкин; Ярославский гос. ун-т им. П. Г. Демидова by Малышкин, Виктор Эммануилович. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Ярославль б. и. 1999Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Вводный курс математической логики [учебное пособие] В. А. Успенский, Н. К. Верещагин, В. Е. Плиско by Успенский, Владимир Андреевич, 1930-2018 \| Верещагин, Николай Константинович, 1958- \| Плиско, Валерий Егорович. Edition: [2-е изд.]Material type: Text; Format: print ; Literary form: Not fiction Publication details: М. Физматлит 2004Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга Чарльз Петцольд ; [пер. с англ. Борисова Е. В., Чернышова Л. Н.] by Петцольд, Чарльз. Series: Классика программированияMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва ДМК Пресс 2016Other title: The Annotated Turing.Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Элементарые рекурсивные функции С. С. Марченков by Марченков, Сергей Серафимович. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. МЦНМО 2003Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Лекции по дискретной математике учебное пособие М. И. Дехтярь by Дехтярь, Михаил Иосифович. Series: Основы информационных технологийMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий [и др.] 2009Availability: No items available : Log in to add tags Add to cart (remove)
	7.	Определимость и вычислимость by Ершов, Юрий Леонидович, 1940-. Series: Сибирская школа алгебры и логикиMaterial type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Новосибирск Научная книга 1996Availability: No items available : Log in to add tags Add to cart (remove)
	8.	Математическая логика и теория алгоритмов Электронный ресурс учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"] В. М. Зюзьков ; ТУСУР by Зюзьков, Валентин Михайлович \| Томский государственный университет систем управления и радиоэлектроники. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Томск Эль Контент 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	9.	Основы теории дискретных логических и вычислительных устройств Шоломов Л. А. by Шоломов Л. А. Edition: 3-е изд., испр.Material type: Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online \| Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)