text: Например, семантическая сеть, семантическая паутина; булева логика и алгебра для разработки аппаратного обеспечения компьютеров; решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов; фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики.