Первое сравнительное исследование качества высшего образования между Россией, США, Индией и Китаем [] / : И. Фрумин, И. Чириков // Профессиональное образование. Столица. - 2019. - № 4. - С. 5 : фот. - Научная библиотека Сибирского государственного технологического университета. - code, prfo. - year, 2019. - no, 4. - ss, 5. - ad, 1. - d, 2019, , 0, y. - RUMARS-prfo19_no4_ss5_ad1 . - ISSN 1999-2262
Рубрики: Образование. Педагогика Высшее профессиональное образование--Россия--США--Индия; Китай Организация образования Кл.слова (ненормированные): вузы -- высшие учебные заведения -- исследования -- качество образования -- компьютерные науки -- система образования -- тестирование -- университеты Аннотация: Международная группа ученых, включая исследователей Института образования ВШЭ, сравнила качество образования по компьютерным наукам. Система российского высшего образования в области компьютерных наук находится примерно на одном уровне с Индией и Китаем. Но все три страны уступают США. Доп.точки доступа: Фрумин, Исак (научный руководитель Института образования ВШЭ) \.\; Чириков, Игорь (старший научный сотрудник Калифорнийского университета Беркли) \.\; Институт образования ВШЭ; Edfucational Testing Service, компанияКомпания "Edfucational Testing Service" Нет сведений об экземплярах (Источник в БД не найден) |
Ламберов, Лев Дмитриевич (кандидат философских наук). Понятие доказательства в контексте теоретико-типового подхода []. [Ч.] 2. Доказательства теорем / Л. Д. Ламберов // Вестник Томского государственного университета. Философия. Социология. Политология = Tomsk State University. Journal of Philosophy, Sociology and Political Science. - 2019. - № 49. - С. 34-41. - Библиогр.: с. 39-40 (18 назв.). - Продолж. Начало: № 46, 2018. - ОГАУК "Томская областная универсальная научная библиотека имени А.С. Пушкина". - code, vvt4. - year, 2019. - no, 49. - ss, 34. - ad, 1. - d, 2019, , 0, y. - RUMARS-vvt419_no49_ss34_ad1 . - ISSN 1998-863x
Рубрики: Математика Общие вопросы математики Кл.слова (ненормированные): вычислительные машины -- доказательства -- компьютерные науки -- математические доказательства -- обозримость доказательств -- основания математики -- теорема о четырех красках -- теоремы -- теоретико-типовой подход -- теории -- теория типов Аннотация: Исследование понятия математического доказательства в связи с применением вычислительных машин в математике. Рассматривается проблема обозримости на примере доказательства теоремы о четырех красках. Нет сведений об экземплярах (Источник в БД не найден) |