Category:Logic in computer science

**logic in computer science**
	academic discipline
	Upload media
	Wikipedia
Subclass of	logic; computer science;
Said to be the same as	computational logic
Authority file
	Q2651693;
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

English: Logic in computer science (or computational logic) is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science.

Subcategories

This category has the following 8 subcategories, out of 8 total.

The following 4 files are in this category, out of 4 total.