Terms for subject Programming containing математический

Russian	French
раздел теоретической информатики и математической логики	branche de la logique mathématique et de l'informatique théorique (о теории вычислимости (иногда назыв. теорией рекурсивных функций) ssn)