| Theory of Computation |
| L. Levin. Theory of Computation. |
| http://www.cs.bu.edu/fac/lnd/toc/ |
| Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. |
| |
| |
| computation, inverting, deterministic, reductions, universal, science, foundation, national, materia l, randomness, complexity, computing, models, computations, fundamentals, research, online, overview , necessarily, papers, randomness, pseudo, inputs, random, cryptography, references, supported, refl ect, findings, conclusions, opinions, 0830719, recommendations, expressed, author, 0311411, 9820934, algorithms, theory, leonid, grants, 9610455, 9015276, 8607492, 8304498, primality, theorems, compre ssion, theorem, intractability, foreword |
bu.edu - rank der domain 8232 (3098 in US)
|
|
| zum Seitenanfang ↑ |
| Church-Turing Thesis |
| Church–Turing thesis - Wikipedia, the free encyclopedia |
| http://en.wikipedia.org/wiki/Church-Turing_thesis |
| Wikipedia article. |
| |
| |
| turing, church, thesis, kleene, machine, computable, thesis, functions, function, effective, effecti vely, definition, machines, notion, recursion, equivalent, wikipedia, calculable, states, computatio n, computability, calculability, rosser, recursive, hypothesis, theory, theory, quantum, calculus, s tephen, complexity, journal, mathematical, proposed, footnote, method, entscheidungsproblem, mechani cal, theoretic, called, physics, general, models, computing, algorithms, computor, definitions, comp utability, reckonable, concept, american |
wikipedia.org - rank der domain 6 (5 in US)
|
|
| zum Seitenanfang ↑ |
| Computability Theory |
| Computability theory - Wikipedia, the free encyclopedia |
| http://en.wikipedia.org/wiki/Computability_theory |
| Wikipedia article. |
| |
| |
| turing, theory, computable, enumerable, recursively, recursive, function, problem, numbers, degrees, reducibility, recursion, natural, computability, computability, functions, degree, oracle, recursio n, theorem, reducible, halting, arithmetic, research, mathematics, priority, machine, reducibilities , example, hierarchy, studied, theory, problems, method, wikipedia, mathematical, between, church, s tructure, results, complexity, infinite, second, recursive, computation, lattice, effective, mathema tics, logical, formal, finite |
wikipedia.org - rank der domain 6 (5 in US)
|
|
| zum Seitenanfang ↑ |
| Computers/Computer_Science/Theoretical |
|
|
| Computers/Computer_Science/Theoretical |
| zum Seitenanfang ↑ |
| Interactive Computation |
| Interactive computation - Wikipedia, the free encyclopedia |
| http://en.wikipedia.org/wiki/Interactive_computation |
| Wikipedia article. |
| |
| |
| computation, wikipedia, interactive, turing, wikipedia, computer, vector, science, computability, ma chines, goldin, interactive, mathematical, portal, theoretical, simplesearch, wgnotice, machines, ch anges, wegner, collapsiblenav, editwarning, mediawiki, template, warning, enable, category, encyclop edia, contact, science, interaction, computation, search, containing, external, computing, suggestio ns, search, smolka, theory, computer, portal, define, answer, functions, window, models, runonloadho ok, capture, mediawiki, template |
wikipedia.org - rank der domain 6 (5 in US)
|
|
| zum Seitenanfang ↑ |
| Computability Logic |
| COMPUTABILITY LOGIC Homepage |
| http://www.cis.upenn.edu/~giorgi/cl.html |
| Main web source on the subject: overview, downloadable articles, links. |
| |
| |
| homepage, computability |
upenn.edu - rank der domain 2867 (1111 in US)
|
|
| zum Seitenanfang ↑ |
| Theoretical Computer Science on the Web |
| Theoretical Computer Science on the Web |
| http://ai.stanford.edu/~suresh/theory/theory-home.html |
| A directory of resources related to theoretical computer science from Stanford University. |
| |
| |
| theory, computer, attendees, conferences, conference, theoretical, suresh, previous, stanford, journ als, something, interest, related, science, rolodex, virtual, vanilla, search, appear, people, delux e, addresses, newsgroups, mailing, theorynt, information, conference, dmanet, mailing, student, entr ies, advisor, suresh, venkat, probably, scientists, genealogy, repositories, attended, version, sear chable, unofficial, should, contains, pointers, papers, genealogy, theoretical, community, software, upcoming |
stanford.edu - rank der domain 1187 (511 in US)
|
|
| zum Seitenanfang ↑ |
| Introduction to Formal Models in Computer Science |
| CSE 322: Introduction to Formal Models in Computer Science,
Spring 2006 |
| http://www.cs.washington.edu/education/courses/322/06sp/ |
| Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism. |
| |
| |
| problem, introduction, feedback, course, topics, formal, office, feedback, sample, review, conversio n, midterm, handed, languages, results, computer, science, chapters, cse322, session, mailman, editi on, assignments, myhill, previous, pumping, context, chomsky, example, normal, definition, subscribe , converting, automata, minimization, mailing, nerode, friday, solutions, spring, monday, models, th eory, sipser, washington, listinfo, computation, michael, publishing, errors, second |
washington.edu - rank der domain 3383 (1298 in US)
|
|
| zum Seitenanfang ↑ |
| CSCI 0510 Models of Computation |
| |
| http://www.cs.brown.edu/courses/csci0510/ |
| Undergraduate computer science course on the foundations of computing at the Brown University, Depar tment of Computer Science. |
| |
| |
| |
brown.edu - rank der domain 14619 (5623 in US)
|
|
| zum Seitenanfang ↑ |
| Computers/Computer_Science/Theoretical |
|
|
| Computers/Computer_Science/Theoretical |
| zum Seitenanfang ↑ |
| Lecture Notes on Theory of Computation |
| Algorithms, Data Structures, and Applications - Nievergelt > Education |
| http://www.jn.inf.ethz.ch/education/index.html |
| Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. |
| |
| |
| algorithms, finite, education, introduction, automata, machines, languages, complexity, euclidean, n etworks, theory, languages, turing, automata, context, algorithms, nievergelt, computation, lecture, research, closure, problem, transitive, operations, matrix, spanning, geometry, computational, samp le, problems, applications, closest, graphs, transport, summary, online, basics, numeric, approximat ion, randomized, computation, structures, spanning, schedule, search, exhaustive, search, exhaustive , pushdown, storage, external |
ethz.ch - rank der domain 10808 (516 in DE)
|
|
| zum Seitenanfang ↑ |
| Rusty Spigot Computer Science Notes |
| Computer Science » RustySpigot |
| http://www.rustyspigot.com/Computer_Science/ |
| Notes on a range of computer science subjects, from the Cambridge undergraduate course. |
| |
| |
| computer, prolog, processing, optimising, natural, language, language, compilers, software, design, digital, science, probability, chance, connection, compilers, multiple, reduce, amiguity, complexity , gajshost, resolving, eoptimiations, advantage, hardwar, messages, meaning, semantic, arriving, pag etracker, communications, vision, engineering, science, computer, software, rustyspigot, wireless, d ocument, without, server, waterfall, failure, internet, silverstripe, google, analytics, javascript, 1187063, trackpageview, gettracker |
rustyspigot.com - rank der domain 939131 (407015 in US)
|
|
| zum Seitenanfang ↑ |
| Theoretical Computer Science Search Engine |
| searchtcs |
| http://sites.google.com/site/searchtcs/ |
| A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers. |
| |
| |
| function, chrome, external, return, gtbexternal, window, google, copyright, jstiming, string, displa y, cursor, inline, gettime, parseint, replace, length, document, getelementbyid |
google.com - rank der domain 1 (1 in US)
|
|
| zum Seitenanfang ↑ |
|
