The soft-question tag has no wiki summary.
1
vote
0answers
28 views
Start using SAT Solvers [duplicate]
What i actually want to do is to turn a math problem ,i have to solve,to a Boolean Satisfiability problem and solve it using a SAT Solver.
I wonder if someone knows any manual,guide or anything that ...
5
votes
2answers
83 views
What was going on before PAC learning
I am investigating PAC learning (computational learning theory) as a beginner with no previous knowledge of machine learning / AI. I am investigating the model mainly from a historical point of view.
...
6
votes
4answers
204 views
How can Computer Science theories and inquiries be resolved?
It's probably possible to prove that P ≠ NP, that one-way functions exist, and that parity games cannot be solved in polynomial time (yes, I've been reading through this list), but how would we go ...
-2
votes
0answers
91 views
the whole is greater than the sum of the parts [closed]
I recently was reading up Dijkstra's paper On the cruelty of teaching computer science[1] and noticed that a particular quote I read in a book on genetic algorithms seems to resonate deeply with his ...
1
vote
1answer
113 views
Studying advice
I don't know much when it comes to computers,
But If I wanted to learn how to programm algorithms that perform symbolic calculations and other techniques used to solve or aid mathematical problems, ...
0
votes
3answers
188 views
DFS - Proof of Correctness
I'm currently studying the book "Introduction to Algorithms - Cormen". Although a proof of correctness for the BFS algorithm is given, there isn't one any for the DFS in the book. So I was courious ...
3
votes
2answers
185 views
Don Knuth and MMIXAL vs. Chuck Moore and Forth — Algorithms and Ideal Machines — was there any cross-pollination / influence in their ideas / work?
Question:
To what extent is it known (or believed) that Chuck Moore and Don Knuth had influence on each other's thoughts on ideal machines, or their work on algorithms?
I'm interested in citations, ...
5
votes
2answers
60 views
Numeral systems other than unary used in nature or in animal and human behaviours
Representing numeric values using positional notation is one of the milestones in the history of arithmetic. Babylons used a base 60 system, Maya a base 20 system; base 10 system became "the standard" ...
