"Logical consequence" . "Computational linguistics" . "Natural language processing" . "Machine learning" . "Problem solving methods" . "Digital electronics" .