Поиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Романов А. С. , Резанова З. И. , Мещеряков Р. В. «О выборе признаков текста, релевантных в автороведческой экспертной деятельности» // Вестник Томского государственного университета. Филология 2013. №6 (26) C.38-52
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57
Хирьянова И. С. «Сетевые кейсы по информатике в начальной школе» // Открытое и дистанционное образование 2011. №1 (41) C.63-68
Яркова Е. Н. , Яркова Е. Н. «Истоки и смысл спекулятивного реализма: к проблеме генезиса новых онтологий» // Вестник Томского государственного университета 2021. №471 C.93-100
Косова Е. С. , Берцун В. Н. «О первом центре высшего математического образования в Сибири» // Вестник Томского государственного университета. Математика и механика 2017. №46 C.102-112
Гафуанов Я. Ю. , Поднебесова Г. Б. «Формирование профессиональной ИКТ-компетентности при обучении программированию будущих учителей информатики и IT-специалистов» // Вестник Томского государственного университета 2020. №455 C.175-182