HjemGrupperSnakMereZeitgeist
På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.

Relaterede emneord

Mathematics (26)

Mathematics Philosophy (26)

Mathematics Philosophy (18)

Language and languages Philosophy (15)

Philosophy (15)

Set theory (14)

Artificial intelligence (10)

Semantics (Philosophy) (10)

Language and languages Philosophy (10)

Mathematics (10)

Philosophy (9)

Predicate (Logic) (8)

Semantics (Philosophy) (7)

Semantics (7)

Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus (7)

Mathematical recreations (7)

Computer science (6)

Set theory (6)

Science Philosophy (6)

Mathematical recreations (6)

Proof theory (5)

Proposition (Logic) (5)

Proposition (Logic) (5)

Reasoning (5)

Equations, Theory of (4)

Programmed instruction (4)

Artificial intelligence (4)

Probabilities (4)

Reasoning (4)

Ethics (4)

Computer programming (4)

Equations, Theory of (4)

Thought and thinking (4)

Programmed instruction (4)

Proof theory (4)

Predicate (Logic) (4)

Machine theory (3)

Logic (3)

Programming languages (Electronic computers) (3)

Semantics (3)

Combinatorial analysis Outlines, syllabi, etc (3)

Recursive functions (3)

Probabilities (3)

Algebra, Abstract Outlines, syllabi, etc (3)

Metamathematics (3)

Language and logic (3)

Language and languages (3)

Science Philosophy (3)

Axiomatic set theory (2)

Inference (2)

Thought and thinking (2)

Research Methodology (2)

Computer science (2)

Combinatorial analysis Outlines, syllabi, etc (2)

Set theory History 20th century (2)

Computer architecture (2)

Gödel, Kurt (2)

Decidability (Mathematical logic) (2)

Computer science Mathematics (2)

Recursive functions (2)

Science (2)

Critical thinking (2)

Wittgenstein, Ludwig, 1889-1951 Notebooks, sketchbooks, etc (2)

Grammar, Comparative and general (2)

Problem solving (2)

Categories (Mathematics) (2)

Turing machines (2)

Arithmetic Foundations History 19th century (2)

Logic (2)

Mathematics History (2)

Bach, Johann Sebastian, 1685-1750 (2)

Gï¿œodel, Kurt (2)

Symmetry (2)

Proof theory Textbooks (2)

Formal languages (2)

Mathematical statistics (2)

Programming languages (Electronic computers) (2)

Inference (2)

Ethics (2)

Problem-solving (2)

Categories (Mathematics) (2)

Turing's world (2)

Arithmetic Foundations History 20th century (2)

Modality (Logic) (2)

Escher, M. C. (Maurits Cornelis), 1898-1972 (2)

Godel, Kurt (2)

Gï¿œdel, Kurt (2)

Logic, Symbolical and mathematical Textbooks (2)

Infinite (2)

Computable functions (2)

Axiomatic set theory (2)

Grammar, Comparative and general (2)

Research Methodology (2)

Problem-solving (2)

Turing machines (2)

Algebra, Abstract Outlines, syllabi, etc (2)

Set theory History 19th century (2)

Symmetry (2)

Gèodel, Kurt (2)

Gèodel's theorem (2)

(vis mere)

Emne: Logic, Symbolic and mathematical

Underdelte emneord

Logic, Symbolic and mathematical (149 værker)

Logic, Symbolic and mathematical Addresses, essays, lectures (2 værker)

Logic, Symbolic and mathematical Addresses, essays, lectures (30 værker)

Logic, Symbolic and mathematical Congresses (1 værker)

Logic, Symbolic and mathematical Congresses (1 værker)

Logic, Symbolic and mathematical History (1 værker)

(vis alle 20 emneord)

Bøger med dette emneord

( se alle bøger )

 

Om | Kontakt | LibraryThing.com | Brugerbetingelser/Håndtering af brugeroplysninger | Hjælp/FAQs | Blog | Butik | APIs | TinyCat | Efterladte biblioteker | Tidlige Anmeldere | Almen Viden | 154,483,135 bøger! | Topbjælke: Altid synlig