Category:Logic in computer science

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
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.
Lógica computacional (es); 運算邏輯 (yue); лёгіка ў інфарматыцы (be-tarask); Logika konputazional (eu); Логика в информатике (ru); lógica na ciência da computação (pt); منطق در علوم کامپیوتر (fa); 计算机逻辑 (zh); 計算機科学における数学 (ja); Логіка в інформатиці (uk); 電腦邏輯 (zh-tw); 計算機邏輯 (zh-hant); lògica computacional (ca); logic in computer science (en); المنطق في علوم الحاسب (ar); 计算机逻辑 (zh-hans); 電腦邏輯 (zh-hk) academic discipline (en); رشته دانشگاهی (fa) Логика в компьютерных науках (ru); 計算機科学における論理学, 計算機科学におけるロジック (ja); 電腦邏輯 (zh); Logica computacional (es)
logic in computer science 
academic discipline
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass oflogic,
computer science
Authority control
Edit infobox data on Wikidata

Subcategories

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

C

F

G

L

M

O

P

T

Media in category "Logic in computer science"

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