Category:Mathematical logic

From Wikimedia Commons, the free media repository

Jump to: navigation, search

Subcategories

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

C

[+] Computational models (2 C, 11 F)

F

[+] Fuzzy logic (1 C, 1 P, 17 F)

M

[+] Mathematical proof (10 F)

M cont.

[+] Modal logic (1 C, 16 F)

R

[+] Recursive functions (2 F)

S

[+] Sequent calculus (5 F)

T

[+] Turing machine (1 P, 19 F)

Media in category "Mathematical logic"

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

Arvore formula logic... 9,013 bytes	De Bruijn index illu... 7,868 bytes	First order natural ... 34,620 bytes	Logik der logik 2.sv... 31,314 bytes
Morphisms.svg 696 bytes	Screenshot-UPPAAL.pn... 33,845 bytes

Retrieved from "http://commons.wikimedia.org/wiki/Category:Mathematical_logic"

Categories: Discrete mathematics | Logic

Views

Personal tools

Search

Toolbox