Автор: А. В. Михалёв
Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр
А. В. Михалёв
В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность...
Проблемы профессиональных и образовательных стандартов по информатике и информационным технологиям
А. В. Михалёв
Программирование за последние полвека породило целый спектр самых массовых интеллектуальных профессий, связанных с задачами хранения, передачи и анализа информации. Наблюдаются как необходимость в открытии новых специализаций по информационным...
