Assertion: computer science | /r/CapableOf | involve formal logic
Facets:
Source sentences:
text: It involves the study of graph theory, algorithmic complexity, formal logic, automata, and in general any logical structure which can describe a transformation or response to input -- algorithms.