Program Overview

University of Novi Sad

Faculty of Technical Sciences

The Faculty of Technical Sciences is a higher education institution located in Novi Sad, Serbia. It offers a wide range of academic programs in various fields of technical sciences.

Departments

The faculty consists of several departments, including:

• Department of Energetics, Electronics, and Telecommunications
• Department of Mechanical Engineering and Mechatronics
• Department of Architecture and Urban Planning
• Department of Industrial Engineering and Management
• Department of Graphics Engineering and Design
• Department of Computer Science and Automation
• Department of Civil Engineering and Geodesy
• Department of Technical Mechanics

Study Programs

The faculty offers various study programs at the undergraduate, master's, and doctoral levels. Some of the study programs include:

• Informatics and Computer Science
• Electrical Engineering
• Mechanical Engineering
• Civil Engineering
• Architecture and Urban Planning
• Industrial Engineering and Management
• Graphics Engineering and Design

Accreditation

The faculty's study programs are accredited by the relevant authorities, ensuring that they meet the highest standards of quality and relevance.

Research Areas

The faculty's research areas include:

• Energy and Environmental Engineering
• Computer Science and Information Technology
• Mechanical Engineering and Mechatronics
• Civil Engineering and Geodesy
• Architecture and Urban Planning
• Industrial Engineering and Management
• Graphics Engineering and Design

Course: Introduction to Interactive Theorem Provers

Description

The course "Introduction to Interactive Theorem Provers" is a master's level course that covers the basics of interactive theorem proving using tools such as COQ and ISABELLE/HOL.

Objectives

The objectives of the course are to:

• Introduce students to the basics of interactive theorem proving
• Enable students to use interactive theorem provers to prove theorems
• Familiarize students with the theoretical foundations of interactive theorem proving

Content

The course covers the following topics:

• Introduction to interactive theorem proving
• Theoretical foundations of interactive theorem proving
• Using COQ and ISABELLE/HOL to prove theorems

Teaching Methods

The course is taught through a combination of lectures, tutorials, and lab sessions.

Assessment

Student assessment is based on:

• Attendance and participation in lectures and tutorials
• Written exam
• Seminar work

Lecturers

The course is taught by:

• Prof. Dr. Silvia Giljezan
• Vanredni Prof. Dr. Jelena Iveti
• Asistent Irena Prodanovi
• Asistent Stepan Miloevi

Contact

For more information, please contact the Faculty of Technical Sciences.

• Address: Trg Dositeja Obradovia 6, 21102 Novi Sad
• Phone: (please note that the phone number is not provided)
• Fax: (please note that the fax number is not provided)
• Email: (please note that the email address is not provided)