Category:Logic in computer science

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.

logic in computer science

academic discipline

Upload media

Subclass of

Said to be the same as

computational logic

Authority file
Q2651693
Reasonator Scholia Wikidocumentaries PetScan statistics WikiMap Locator tool KML file Search depicted

Subcategories

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

C

Logical calculi (3 C, 17 F)

F

Fuzzy logic (1 C, 142 F)

G

Logic gates (20 C, 1 P, 194 F)

L

Linear logic (5 F)

M

Modal logic (3 C, 14 F)

O

Operational semantics (2 C)

P

Logic programming (4 C, 4 F)

T

Type theory (3 C, 1 F)

Media in category "Logic in computer science"

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

Hasnext.jpg 457 × 306; 28 KB
Per-c fmea.png 599 × 794; 82 KB
ReveilGraphe.png 568 × 166; 17 KB
ReveilStateD.png 545 × 166; 20 KB
Safelocktrace.jpg 682 × 264; 40 KB
Unsafeenumcode.png 490 × 258; 156 KB

Retrieved from "https://commons.wikimedia.org/w/index.php?title=Category:Logic_in_computer_science&oldid=333028668"