Interactive Syllabus

/Logika a logické programování - cvičení

Info

Cílem cvičení je upevnit a rozšířit dovednosti získané v předmětu Úvod do logikya seznámit studenty s logickým programováním v jazyce Prolog.

Cv. 1: Individuální dokazování

Chapter contains:

1

Image

1

PDF

1

Study text

Cv. 2: Ekvivalentní úpravy, úsudky, UKNF, UDNF

Chapter contains:

1

Image

1

PDF

Cv. 3: Rezoluční metoda

Chapter contains:

1

PDF

Cv. 4: Systém přirozené dedukce ve VL

Chapter contains:

1

PDF

Introductory information
- Study now
  
  Cv. 1: Individuální dokazování
- Study now
  
  Cv. 2: Ekvivalentní úpravy, úsudky, UKNF, UDNF
- Study now
  
  Cv. 3: Rezoluční metoda
- Study now
  
  Cv. 4: Systém přirozené dedukce ve VL

Operations

View all

Tutorial on the changes in Interactive Syllabus

What’s New Effective and Focused Learning
We have redesigned the display of interactive syllabi to support effective and focused student learning (the so-called “Learning First” approach). Everything that is not beneficial for studying within the interactive syllabus is minimized or removed.
What’s New Effective and Focused Learning
The most visible change is the simplification of the interface. The main system menu is now accessible via a dropdown in the top bar—located in the same place as on mobile devices.
What’s New Version History
Every change made in the interactive syllabus is now automatically saved as a version. You can return to any previous version of the content at any time and restore it. This means you no longer have to worry about accidentally overwriting or losing important data.
Study progress
The “Study progress” indicator shows students how far they have progressed in reading and completing the interactive syllabus. It takes into account viewed chapters, played videos, opened linked files, etc. Students can also easily identify skipped materials and return to them later.
Read rate
Teachers can view their students’ study progress indicator through the “Read rate” feature. This allows them to see how students are progressing in their studies. Teachers can easily identify students who have not yet opened the interactive syllabus and provide them with support.
Copying Content Between Interactive Syllabi
Copying Content Between Interactive Syllabi Chapters can now be copied easily from one interactive syllabus to another using the “Copy Chapters” function. This is especially useful for instructors whose courses overlap in content.
Validation
Validation checks whether the interactive syllabus is set up correctly. For example, it verifies that linked study materials are truly accessible to students and that any linked discussion exists. Validation is recalculated automatically every night.
Header
The interactive syllabus header image can now be repeated at the start of every chapter. Simply select “Zobrazovat úvodní obrázek ve všech kapitolách” when setting up the header image.
Display Switching
For users who dislike changes, we have temporarily kept the option to switch the interactive syllabus display back to the previous version. The IS will remember this preference and display interactive syllabi in the chosen view for that user.

Operations

What’s New Effective and Focused Learning

What’s New Effective and Focused Learning

What’s New Version History

Study progress

Read rate

Copying Content Between Interactive Syllabi

Validation

Header

Display Switching