The Full Wiki



More info on Logic in computer science

Logic in computer science: Trending topics
  
  

The following are the current most viewed articles on Wikipedia within Wikipedia's Logic in computer science category. Think of it as a What's Hot list for Logic in computer science. More info »

This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.

Rank Topic Wikipedia views
1 Fuzzy logic 2,741 Sparkline of topic views for 2 weeks
2 Karnaugh map 1,843 Sparkline of topic views for 2 weeks
3 Race condition 1,098 Sparkline of topic views for 2 weeks
4 Boolean satisfiability problem 614 Sparkline of topic views for 2 weeks
5 Peano axioms 524 Sparkline of topic views for 2 weeks
6 Assertion (computing) 416 Sparkline of topic views for 2 weeks
7 Combinational logic 396 Sparkline of topic views for 2 weeks
8 Formal verification 342 Sparkline of topic views for 2 weeks
9 Intuitionistic logic 271 Sparkline of topic views for 2 weeks
10 Model checking 254 Sparkline of topic views for 2 weeks
11 Combinatory logic 240 Sparkline of topic views for 2 weeks
12 Hoare logic 225 Sparkline of topic views for 2 weeks
13 Formal semantics of programming languages 217 Sparkline of topic views for 2 weeks
14 Curry–Howard correspondence 201 Sparkline of topic views for 2 weeks
15 Undecidable problem 178 Sparkline of topic views for 2 weeks
16 Denotational semantics 177 Sparkline of topic views for 2 weeks
17 Backward chaining 169 Sparkline of topic views for 2 weeks
18 Horn clause 152 Sparkline of topic views for 2 weeks
19 Automated reasoning 151 Sparkline of topic views for 2 weeks
20 Precondition 142 Sparkline of topic views for 2 weeks
21 Typed lambda calculus 141 Sparkline of topic views for 2 weeks
22 Forward chaining 137 Sparkline of topic views for 2 weeks
23 Abstract interpretation 135 Sparkline of topic views for 2 weeks
24 Rewriting 134 Sparkline of topic views for 2 weeks
25 Logic in computer science 130 Sparkline of topic views for 2 weeks
26 Operational semantics 121 Sparkline of topic views for 2 weeks
27 Linear temporal logic 119 Sparkline of topic views for 2 weeks
28 Intuitionistic type theory 101 Sparkline of topic views for 2 weeks
29 Presburger arithmetic 96 Sparkline of topic views for 2 weeks
30 Satisfiability Modulo Theories 91 Sparkline of topic views for 2 weeks
31 Functional completeness 91 Sparkline of topic views for 2 weeks
32 Bisimulation 87 Sparkline of topic views for 2 weeks
33 Axiomatic semantics 84 Sparkline of topic views for 2 weeks
34 Kripke structure 80 Sparkline of topic views for 2 weeks
35 Computation tree logic 76 Sparkline of topic views for 2 weeks
36 Structural induction 74 Sparkline of topic views for 2 weeks
37 Postcondition 65 Sparkline of topic views for 2 weeks
38 Boolean circuit 60 Sparkline of topic views for 2 weeks
39 Topological computing 58 Sparkline of topic views for 2 weeks
40 Type-2 fuzzy sets and systems 52 Sparkline of topic views for 2 weeks
41 Game semantics 49 Sparkline of topic views for 2 weeks
42 HOL theorem prover family 47 Sparkline of topic views for 2 weeks
43 Horn-satisfiability 46 Sparkline of topic views for 2 weeks
44 Predicate transformer semantics 45 Sparkline of topic views for 2 weeks
45 Dynamic logic (modal logic) 43 Sparkline of topic views for 2 weeks
46 Event calculus 42 Sparkline of topic views for 2 weeks
47 LCF (theorem prover) 39 Sparkline of topic views for 2 weeks
48 Maximum satisfiability problem 39 Sparkline of topic views for 2 weeks
49 Star-free language 39 Sparkline of topic views for 2 weeks
50 Circuit minimization 39 Sparkline of topic views for 2 weeks
51 LF (logical framework) 38 Sparkline of topic views for 2 weeks
52 Normalization property (abstract rewriting) 36 Sparkline of topic views for 2 weeks
53 Partial order reduction 33 Sparkline of topic views for 2 weeks
54 Algebraic semantics 31 Sparkline of topic views for 2 weeks
55 Perceptual Computing 25 Sparkline of topic views for 2 weeks
56 Proof complexity 22 Sparkline of topic views for 2 weeks
57 Computability logic 21 Sparkline of topic views for 2 weeks
58 Duration calculus 21 Sparkline of topic views for 2 weeks
59 CTL* 21 Sparkline of topic views for 2 weeks
60 WalkSAT 20 Sparkline of topic views for 2 weeks
61 Abstract rewriting system 20 Sparkline of topic views for 2 weeks
62 Runtime verification 19 Sparkline of topic views for 2 weeks
63 Compcert 19 Sparkline of topic views for 2 weeks
64 Probabilistic CTL 18 Sparkline of topic views for 2 weeks
65 ΛProlog 17 Sparkline of topic views for 2 weeks
66 Hennessy-Milner logic 17 Sparkline of topic views for 2 weeks
67 Truth bit 16 Sparkline of topic views for 2 weeks
68 Ordered Weighted Averaging (OWA) Aggregation Operators 15 Sparkline of topic views for 2 weeks
69 Twelf 14 Sparkline of topic views for 2 weeks
70 Herbrand Award 14 Sparkline of topic views for 2 weeks
71 Model elimination 14 Sparkline of topic views for 2 weeks
72 Separation logic 14 Sparkline of topic views for 2 weeks
73 Journal of Logic and Computation 13 Sparkline of topic views for 2 weeks
74 OBJ 12 Sparkline of topic views for 2 weeks
75 Geometry of interaction 12 Sparkline of topic views for 2 weeks
76 Logical Methods in Computer Science 9 Sparkline of topic views for 2 weeks
77 Fluent (artificial intelligence) 8 Sparkline of topic views for 2 weeks
78 Alternating-time Temporal Logic 7 Sparkline of topic views for 2 weeks
79 Bunched logic 6 Sparkline of topic views for 2 weeks
80 IEEE Symposium on Logic in Computer Science 6 Sparkline of topic views for 2 weeks
81 Fair Computational tree logic 6 Sparkline of topic views for 2 weeks
82 Stuttering equivalence less than 5 views
83 Abstraction model checking less than 5 views
84 Preferential entailment less than 5 views
85 Decidable sublanguages of set theory less than 5 views
86 Racetrack problem less than 5 views
87 State space enumeration less than 5 views
88 Journal of Automated Reasoning less than 5 views

Subcategories

Parent categories


Encyclopedia

Updated live from Wikipedia, last check: May 15, 2013 22:32 UTC (47 seconds ago)

From Wikipedia, the free encyclopedia

The main article for this category is Logic in computer science.

Logic in computer science is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains:

  1. Those investigations into logic that are guided by applications in computer science. For example:
  2. Fundamental concepts in computer science that are naturally expressible in logical form. For example:
  3. Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
  4. Tools for logicians considered as applied computer science. For example:
See also: Category:Finite model theory

Subcategories

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

A

C

D

F

G

L

M

P

R

T

Z

Pages in category "Logic in computer science"

The following 82 pages are in this category, out of 82 total. This list may not reflect recent changes (learn more).

A

B

C

D

E

F

F cont.

G

H

I

K

L

M

N

O

P

P cont.

R

S

T

U

W

Λ

Study guide

Up to date as of January 14, 2010

From Wikiversity

This category is for articles listed under "Logic in computer science"

This category currently contains no pages or media.








Got something to say? Make a comment.
Your name
Your email address
Message