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 (1 C, 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 8 files are in this category, out of 8 total.

Arvore formula logic... 9,013 bytes	Aussagenlogik (Mind ... 98,650 bytes	Aussagenlogik (Mind ... 106,859 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