Результаты поиска

Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Шамканов Данияр Салкарбекович. - Москва, 2012. - 16 с.

Передразнить пересмешника: и другие логические загадки, включая увлекательное путешествие в комбинаторную логику / Реймонд Смаллиан. - Москва : Лори, 2018. - 325 с.

Аппликативные вычислительные технологии: готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген. - Москва : ЮрИнфоР, 2009. - 63, [1] с. - (Библиотека "ЮрИнфоР". Серия "Компьютерные науки и информационные технологии") (Перспективный компьютинг как наука и профессия)

Программирование: комбинаторная логика: учебное пособие для вузов: для студентов высших учебных заведений, обучающихся по ИТ-направлениям / И. А. Кудрявцева, М. В. Швецкий. - 2-е изд., переработанное и дополненное. - Москва : Юрайт, 2023. - 524 с. - (Высшее образование) (УМО ВО рекомендует)

Электронная техника: методические указания по выполнению практических работ для учащихся специальности 2-45 02 01 — Почтовая связь / Министерство связи и информатизации Республики Беларусь, Учреждение образования "Высший государственный колледж связи", Витебский филиал, Кафедра программного обеспечения сетей телекоммуникаций. - Минск : ВГКС, 2012. - 39 с.