Attività settimanale

  • SCQ1098231 - COMPUTABILITY 2024-2025 - PROF. PAOLO BALDAN

    Minimizza tutto Espandi tutto

    This section contains material for the Computability course. For a general description and more information about the course, please refer to the corresponding web page. 

    In the description of the topics discussed during the the lessons, you'll find references to the official textbook in the form §chapter.paragraph.subparagraph

    A collection of exam exercises with solutions is available at the [link]. The same exercises are also available without solution at the [link].

    Lessons will start on September 30 and will be held in presence, room LuF1 - .  For helping students who did not yet make it to reach Padua some material (mostly, lessons recordings and other online material) will be made available.

    Some unofficial notes for the course can be found at the following link (the PDF file will be updated regularly). They are sketchy notes, produced with the help of some students. They can contain errors or inaccuracies  (in case you find some, please report them). They are intended as a support for students for understanding what have been discussed in the lessons. They do not replace the official book (Nigel Cutland ``Computability. An Introduction to Recursive Function Theory''), on which they are heavily based.

    Note: On Monday Sep 30, 8:30-10:30, the lesson is replaced by the "Welcome meeting", same room and also online [].