Skip to content

Commit

Permalink
Import all initial files
Browse files Browse the repository at this point in the history
  • Loading branch information
@davidjeck
davidjeck committed Jan 9, 2025
1 parent 63abf9e commit 75736ce
Show file tree
Hide file tree
Showing 5,162 changed files with 1,102,676 additions and 3 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
Binary file added FofC_tinycover.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file added FoundationsOfComputation/FoundationsOfComputation-source.zip
View file
Binary file not shown.
Binary file added FoundationsOfComputation/FoundationsOfComputation_2.3.2_6x9.pdf
View file
Binary file not shown.
Binary file added FoundationsOfComputation/FoundationsOfComputation_2.3.2_8.5x11.pdf
View file
Binary file not shown.
Binary file added FoundationsOfComputation/FoundationsOfComputation_small_cover.png
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
103 changes: 103 additions & 0 deletions FoundationsOfComputation/index.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,103 @@
<html>
<head>
<title>Foundations Of Computation</title>
</head>
<body bgcolor="#FFEEBB">

<hr>
<h1 align=center>Foundations of Computation</h1>
<hr>

<table border=0 cellpadding=15>
<tr><td valign=top>
<img src="FoundationsOfComputation_small_cover.png" width="200"
height="306" align=right alt="">
</td>
<td valign=top>
<p><i><a href="FoundationsOfComputation_2.3.2_6x9.pdf"><big>F</big>oundations of Computation</a></i> is a <b>free</b> textbook for a one-semester
course in theoretical computer science. It has been used for several years
in a course at Hobart and William Smith Colleges. The course has no
prerequisites other than introductory computer programming. The first half
of the course covers material on logic, sets, and functions that would often
be taught in a course in discrete mathematics. The second part covers
material on automata, formal languages, and grammar that would ordinarily
be encountered in an upper level course in theoretical computer science.
</p>
<p>Version 2.3 (Summer 2010) added a section on pushdown automata;
aside from that, there were only minor corrections and changes.
The most recent version, 2.3.1 (Summer 2011), is a very minor update,
with one new proof and a few corrections. In December 2016, the license under
which the book is released was changed; the version number was changed to 2.3.2,
but 2.3.2 is identical to 2.3.1 except for the new license. In June 2020, new versions
of the PDF files were posted, with internal links, and a link was added to the
version at LibreTexts.
</p>

<p><b>Table of Contents:</b></p>
<ul>
<li>Chapter 1: Logic and Proof
<li>Chapter 2: Sets, Functions, and Relations
<li>Chapter 3: Regular Expressions and FSA's
<li>Chapter 4: Grammars
<li>Chapter 5: Turing Machines and Computability
</ul>
<p><i>Foundations Of Computation</i> is available in two free
PDF&nbsp;versions, with different page sizes. See the links at the bottom
of this page to access the PDFs.
A <b>printed version</b> can be ordered from <a href="https://www.lulu.com/shop/carol-critchlow-and-david-eck/foundations-of-computation/paperback/product-1m4znw8.html?q=David+Eck&page=1&pageSize=4">lulu.com</a>
for the cost of reproduction plus shipping. Readers are also welcome to print out
the PDF themselves. The book can be freely redistributed in unmodified form for
non-commercial purposes. This applies to the entire book, as well as to parts of
the book, provided that proper attribution to the authors is given.
</p>
<p align=center><b><small>This work is licensed under a<br>
<a rel="license" href="http://creativecommons.org/licenses/by-nc-sa/4.0/">Creative
Commons Attribution-Noncommercial-ShareAlike 4.0 License</a>.</small></b></p>
<p>(The image on the left is the cover of the print version of the book.
The background image is a visualization of a small piece of the famous
<a href="http://math.hws.edu/eck/js/mandelbrot/MB.html">Mandelbrot&nbsp;set</a>,
which has nothing to do with the content of the book &mdash;
except for the fact that the Mandelbrot set is an example of a complicated
and beautiful structure produced by very simple computational means. The
region of the xy-plane that is shown on the cover is approximately
0.35471950 &lt; x &lt; 0.35473217 and
0.09540064 &lt; y &lt; 0.09542001).
</p>
<hr>
<p><b>The Authors:</b></p>
<p align=center>
<big>Carol Critchlow ([email protected])</big><br>
<big>David Eck ([email protected], <a href="http://math.hws.edu/eck/">math.hws.edu/eck</a>)</big><br>
Department of Mathematics and Computer Science<br>
Hobart and William Smith Colleges<br>
300 Pulteney Street<br>
Geneva, NY 14456
</p>
<hr>
<p><b><a name="PDF">Click here for the PDF versions:</a></b></p>
<table border=1 align=center cellpadding=3 bgcolor=white><tr><td>
<p align=center><small>A <b>6-by-9 inch</b> version, which might<br>
be better for viewing on screen:</small>
<h3 align=center>&nbsp;&nbsp;<a href="FoundationsOfComputation_2.3.2_6x9.pdf">Foundations Of Computation, Version 2.3.2 (Summer 2011), 6x9</a>&nbsp;&nbsp;</h3>
<h4 align=center>(256 pages, 1.9 megabytes)</h4>
</td></tr></table><br>
<table border=1 align=center cellpadding=3 bgcolor=white><tr><td>
<p align=center><small>An <b>8.5-by-11 inch</b> version, which might<br>
be better for printing:</small>
<h3 align=center><a href="FoundationsOfComputation_2.3.2_8.5x11.pdf">Foundations Of Computation, Version 2.3.2 (Summer 2011), 8.5x11</a></h3>
<h4 align=center>(223 pages, 1.9 megabytes)</h4>
</td></tr></table>
<hr>
<p>An <a href="https://eng.libretexts.org/Bookshelves/Computer_Science/Book%3A_Foundations_of_Computation_(Critchlow_and_Eck)">HTML version of the book</a>
(which was not prepared by the authors) can be found at <a href="https://eng.libretexts.org/">LibreTexts</a>.</p>
<p><b>A Zip archive of the full source code is alsp available through the following link</b> The source is written for the LaTeX
typesetting program, with figures created by several different programs. The source was not designed
for publication and will be useful only to a very small audience. It is provided as-is for people
interested in making modified versions of the book. Note that any modified version that is distributed
beyond its maker must be released under the same Creative Commons, Non-commercial, Share-alike license
as the original.</p>
<p align=center><a href="http://math.hws.edu/FoundationsOfComputation/FoundationsOfComputation-source.zip">http://math.hws.edu/FoundationsOfComputation/FoundationsOfComputation-source.zip</a> (4 MB)</p>
</td>
</table>
</body>
</html>
2 changes: 0 additions & 2 deletions README.md
View file

This file was deleted.

Binary file added TMCM/TMCM.pdf
View file
Binary file not shown.
Binary file added TMCM/TMCM_cover.jpeg
View file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
127 changes: 127 additions & 0 deletions TMCM/TOC.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,127 @@
<!DOCTYPE html>
<html>
<head>
<META http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>The Most Complex Machine Table of Contents</title>
<link type="text/css" rel="stylesheet" href="style.css">
</head>
<body>
<div class="page">
<div class="content">
<hr>
<h2 style="margin:4px 0"><i>The Most Complex Machine</i><br>Table of Contents</h2>
<hr>

<div style="margin-left:4%;margin-right:4%">
<p><b>Preface</b></p>
<p><b>Chapter 1. Introduction: What Computers Do</b></p>
<UL>
<LI>1.1. Bits, Bytes, etc.
<LI>1.2. Transistors, Gates, etc.
<LI>1.3. Instructions, Subroutines, etc.
<LI>1.4. Handling Complexity
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 2. Teaching Silicon to Compute</b></p>
<UL>
<LI>2.1. Logical Circuitry
<LI>2.2. Arithmetic
<LI>2.3. Circuits that Remember
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 3. Building a Computer</b></p>
<UL>
<LI>3.1. Basic Design
<LI>3.2. Fetching and Executing
<LI>3.3. Self-control
<LI>3.4. Postscript: Assembly Language
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 4. Theoretical Computers</b></p>
<UL>
<LI>4.1. Simulation and Universality
<LI>4.2. Turing Machines
<LI>4.3. Unsolvable Problems
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 5. Real Computers</b></p>
<UL>
<LI>5.1. A Brief History
<LI>5.2. Usable Computers
<LI>5.3. Computers and Society
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 6. Programming</b></p>
<UL>
<LI>6.1. The Power of Names
<LI>6.2. Taking Control
<LI>6.3. Building Programs
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 7. Subroutines and Recursion</b></p>
<UL>
<LI>7.1. Writing and Using Subroutines
<LI>7.2. Real Programs
<LI>7.3. Recursion
<LI>7.4. Postscript: Implementation Issues
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 8. Real Programming Languages</b></p>
<UL>
<LI>8.1. Virtual Machines
<LI>8.2. The Other Half of Programming
<LI>8.3. Escape from the von Neumann Machine
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 9. Applications</b></p>
<UL>
<LI>9.1. The Works
<LI>9.2. Off the Desktop
<LI>9.3. Postscript: Analysis of Algorithms
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 10. Cooperating Computers</b></p>
<UL>
<LI>10.1. Programming for Parallel Processing
<LI>10.2. Multiprocessing Computers
<LI>10.3. Computer Networks
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 11. Graphics</b></p>
<UL>
<LI>11.1. Mathematical Foundations
<LI>11.2. Realistic Images
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Chapter 12. Artificial Intelligence</b></p>
<UL>
<LI>12.1. Good Old-fashioned Artificial Intelligence
<LI>12.2. The Philosophical Debate
<LI>12.3. AI in the World
<LI>Chapter Summary
<LI>Questions
</UL>
<p><b>Answers</b></p>
<p><b>Annotated Bibliography</b></p>
<p><b>Index</b></p>

<hr>
<div style="text-align:right"><a href="index.html">Click here for more information</a></div>

</div>
</div>
</body>
</html>


Loading

0 comments on commit 75736ce

Please sign in to comment.