Skip to content

warreee/AaC-Exc

 
 

Repository files navigation

AaC-Exc

Exercise sessions of "Automata and Computability" (G0P84A).

Calendar

See Google Calendar here.

Content

Exercise sessions:

  1. oefz14-1.pdf (October 9, 2014)
  2. oefz14-2.pdf (October 16, 2014)
  3. oefz14-3.pdf (October 23, 2014)
  4. oefz14-4.pdf (October 30, 2014)
  5. oefz14-5.pdf (November 13, 2014)
  6. oefz14-6.pdf (November 20, 2014)
  7. oefz14-7.pdf (November 27, 2014)
  8. oefz14-8.pdf (December 18, 2014)

Previous years:

  1. oefz13-1.pdf
  2. oefz13-2.pdf
  3. oefz13-3.pdf
  4. oefz13-4.pdf
  5. oefz13-5.pdf
  6. oefz13-6.pdf

Tests (with solution):

  1. toets13-1.pdf (November 5, 2013; Dutch)
  2. toets13-2.pdf (December 12, 2013; Dutch)

Building

Git?

Without going into detail, git is a subversioning system that allows distributed collaboration.

You can checkout a git repository by installing git:

sudo apt-get install git

Next you can clone a git repository, for instance this one by running

git clone [email protected]:KULeuven-DeptCW/AaC-Exc.git

LaTeX?

LaTeX is a language designed to enable a writer to generate all kinds of publications, without having to worry about the typesetting.

In order to convert the documents to a readable format, you need a LaTeX compiler:

sudo apt-get install texlive-full

You can then generate a pdf by running the LaTeX compiler.

Makefile

In order to make this more convenient, a Makefile has been added to the repository. By running the following command in the directory of the repository:

make Automata_and_Computability/<file>.pdf

Where <file> is the file one wants to generate (see list above).

In order to generate all .pdf files, run

make

We advice you to only generate files from the master branch since this branch should contain solutions who are at least finished and won't generate compile errors. Although it is still possible some solutions contain small errors (see the section about contributing).

Links

Related GitHub repositories with exercises:

Contributing

<img src="http:https://cdn.shopify.com/s/files/1/0051/4802/products/sticker-small_512x512.jpg?v=1368814207" align="left"/ width="100%" height="*">

Students are welcome to contribute to the repository themselves.

You can do so by "forking" the repository to your own GitHub-account where you can modify your version and then open a pull request to merge your changes into this repository.

Relevant contributions are rewarded by a free GitHub sticker the next exercise session.

Thanks

Thanks to:

nobody to thank yet :(, booh!

License

Creative Commons License
AaC-Exc by Willem Van Onsem is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

About

Excercise sessions of "Automata and Computability" (G0P84A).

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • TeX 99.1%
  • Other 0.9%