Semantic and Declarative Technologies Course -- AIT 2024 Spring Semester


This page contains information on the Semantic and Declarative Technologies Course -- AIT 2024 Spring Semester

News

Slides of the present, 2024 Spring semester

Course information

The course rules can be downloaded from here.

ETS - the Electronic Teacher Support system

The login page of ETS is available here. Sometimes you have to press the Reload button, possibly several times, for the login page to appear. Some browsers may also ask you for additional confirmation as they consider this an "unsafe" site.

For logging into ETS you will need a user code (given by us) and a password (chosen by you). Your user code is obtained by concatenating your last name(s) and the first name, in this order, and taking the first six letters of this string (omitting spaces, hyphens, etc). If you have provided a preferred first name in parentheses, that will be used and all the other non-last names ignored. For example: the user code for "Fui Si (Chris) Won" is WONCHR.

When you first log in:

  1. enter your user code, leave the password field blank;
  2. check the email address in the form displayed and edit it, if needed, then press the Go button;
  3. wait until you receive a generated password at the email address provided by you;
  4. enter this password in the second form displayed;
  5. from now on you can access the services of ETS using this password.
You can change your email and password anytime using the menu item "My data". Please do not use a valuable password here.

Practice and Homework tasks

Mid-term test

Sample mid-term tests are available: sample 1, sample 2, solutions: sample 1, sample 2,

Assignments

All assignments are to be submitted via the ETS Electronic Teacher Support (ETS) tool.

Assignment 1

Solving a Sudoku puzzle: .pdf.
You can download the test cases from here.

Deadline : Monday, Apr-03-2024
Please read some important advice given here.
If (and only if) you think you are unable to solve the problem, please read the hints available from this page.

There is some information on how to handle subgrids without recursion here.

You can discuss approaches and algorithms, but no code pieces should be shared!

Assignment 2

Solving a Skyscraper Sudoku puzzle. Task description: .pdf.

Deadline: Wednesday, May 1st, 2024.

A description of Skyscraper Sudoku rules can be found here.
You can download the test cases from here.

Here is a related video. A simpler version of the puzzle can be played online here.

Lots of Skyscraper Sudoku puzzles can be downloaded from here.

Last modified by Peter Szeredi, sdtprof@gmail.com, on Apr-22-2024.