Tag: soft-question


Found 184 results for 'soft-question'.


1) soft-question - How exactly does lambda calculus capture the intuitive notion of computability?
2) reference-request - Is Isomorphism of bounded degree hyper-graphs in P?
3) cc.complexity-theory - If only pathological cases of NP-hard problems are difficult to solve, then why isn't NP-hard defined to only include those pathological cases?
4) soft-question - Long-lasting errors in computer science
5) big-list - Rigour leading to insight
6) big-list - Dinner-table description of theoretical computer science?
7) soft-question - Are there any open problems left about DFAs?
8) reference-request - Introductory notes on parallelization, in particular patterns of problems and algorithms
9) reference-request - Motivating Talk on Foundations of Cryptography
10) lo.logic - Why was Schönfinkel's work on eliminating "bound variables" in logic so crucial?
11) soft-question - What is the contribution of lambda calculus to the field of theory of computation?
12) lo.logic - Why was there a need for Martin-Löf to create intuitionistic type theory?
13) graph-theory - Simple Constructions of Special Graph Families
14) reference-request - Algorithmic lens in the social sciences
15) soft-question - Universities for Quantum Computing / Information?
16) cc.complexity-theory - Intractability of NP-complete problems as a principle of physics?
17) reference-request - TCS oriented refs/survey on group theoretic word problem
18) reference-request - Resources for mathematicians hoping to learn more computer science
19) soft-question - Complex analysis in theoretical computer science
20) soft-question - Abstract algebra for Theoretical Computer Scientists
21) reference-request - What are some good references for mathematical optimization for the layman?
22) cc.complexity-theory - Consequences of Polynomial & QuasiPolynomial time algorithms for UP, FewP and CoC=P
23) soft-question - Alan Turing's Contributions to Computer Science
24) soft-question - New theories and publications on computer science
25) cc.complexity-theory - Different definitions of complexity
26) soft-question - Deciding between different PhD programs
27) lo.logic - When does (or should) Theoretical CS care about intuitionistic proofs?
28) soft-question - What to do as a Theoretical computer science PhD student in a free time?
29) soft-question - Do I have to give up the Law of the Excluded Middle in order to Learn $\lambda$-Calculus?
30) soft-question - Writing a paper as a single author in 1st person singular
31) soft-question - Collaborative tools for dummies/professors
32) soft-question - Inspirational talk for final year high school pupils
33) cc.complexity-theory - Should we consider $\mathsf{P} \neq \mathsf{NP}$ a law of nature?
34) cc.complexity-theory - Curious about computer-assisted NP-completeness proofs
35) cc.complexity-theory - What is the complexity class most closely associated with what the human mind can accomplish quickly?
36) soft-question - Is one definition of the word paradox, "something that can be used to prove the halting problem undecidable?"
37) soft-question - How do database aggregations form a monoid?
38) reference-request - Examples of "Unrelated" Mathematics Playing a Fundamental Role in TCS?
39) soft-question - Resources to find the "best" algorithm for a problem?
40) soft-question - Dialogue writing style & Yuri Gurevich's imaginary student: Quisani
41) soft-question - What is the status of fuzzy logic for TCS in 2011?
42) soft-question - Where can I find a copy of Guy Jacobson's thesis "Succinct Static Data Structures"?
43) soft-question - Suggested approach to cover data structure literature
44) reference-request - Where to learn more about what Theoretical Computer Science is?
45) soft-question - Language and automata textbook, free or low cost?
46) soft-question - How to talk about theory
47) reference-request - Reference on cryptography methods
48) graph-theory - Cryptography protocols using graph problem instances
49) soft-question - What math courses should I take to prepare for a CS masters or PhD?
50) cc.complexity-theory - What kind of mathematical background is needed for complexity theory?