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