№ | Дата |
Автор |
Заглавие |
---|
|
2023 |
Кудрявцева, Ирина Андреевна (кандидат педагогических наук) |
Программирование : комбинаторная логика : учебное пособие для вузов : для студентов высших учебных заведений, обучающихся по ИТ-направлениям / И. А. Кудрявцева, М. В. Швецкий |
|
2018 |
Смаллиан, Рэймонд (род. 1919) |
Передразнить пересмешника : и другие логические загадки, включая увлекательное путешествие в комбинаторную логику / Реймонд Смаллиан ; [перевод с английского П. И. Быстрова] |
|
2009 |
Вольфенгаген, Вячеслав Эрнстович (доктор технических наук ; род. 1948) |
Аппликативные вычислительные технологии : готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген |
|
2012 |
Шамканов, Данияр Салкарбекович |
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.01.06 Математическая логика, алгебра и теория чисел / Шамканов Данияр Салкарбекович ; Московский государственный университет им. М. В. Ломоносова |
|
2003 |
Вольфенгаген, Вячеслав Эрнстович (доктор технических наук ; род. 1948) |
Комбинаторная логика в программировании : Вычисления с объектами в примерах и задачах / В.Э.Вольфенгаген |
|
2009 |
Вольфенгаген, Вячеслав Эрнстович (доктор технических наук ; род. 1948) |
Аппликативные вычислительные технологии. Готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген |
|
2012 |
|
Электронная техника : методические указания по выполнению практических работ для учащихся специальности 2-45 02 01 — Почтовая связь / Министерство связи и информатизации Республики Беларусь, Учреждение образования "Высший государственный колледж связи", Витебский филиал, Кафедра программного обеспечения сетей телекоммуникаций ; [составитель А. О. Кульчинская] |
|
2010 |
|
Аппликативные вычислительные системы : труды 2-й международной конференции по аппликативным вычислительным системам (ABC'2010), Москва, 29—31 октября 2010 г. / Л. Ю. Исмаилова (ред.) |