Nástroj pro podporu výuky sémantiky PL1

Thumbnail Image

Downloads

Date issued

2009

Authors

Brodzák, Jan

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoká škola báňská - Technická univerzita Ostrava

Location

ÚK/Sklad diplomových prací

Signature

200904388

Abstract

The objective of this thesis is to create a programme providing support in First-order logic learning. The first part deals with the description of the language and introduces the necessary theoretical background. The next section offers a detailed description of the method of creation of grammatically correct sentences, which may be used in testing exercises. The last section deals with the description of the system and its subsections.

Description

Subject(s)

First-order logic, test, creating examples

Citation

Item identifier

http://hdl.handle.net/10084/75605

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)