151-0344/01 – Logical Procedures and Methods (LPM)

Gurantor departmentDepartment of Mathematical Methods in EconomicsCredits4
Subject guarantordoc. Ing. Václav Friedrich, Ph.D.Subject version guarantordoc. Ing. Václav Friedrich, Ph.D.
Study levelundergraduate or graduateRequirementChoice-compulsory
Study languageCzech
Year of introduction2010/2011Year of cancellation
Intended for the facultiesEKFIntended for study typesFollow-up Master, Bachelor
Instruction secured by
LoginNameTuitorTeacher giving lectures
FRI02 doc. Ing. Václav Friedrich, Ph.D.
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit 1+2

Subject aims expressed by acquired skills and competences

• You become acquainted with the logic as one of the classical pillars of European tradition of thinking and you will learn to work with traditional tools of mathematical logic such as propositional calculus, predicate calculus, the theory of reasoning, etc. • Study of logic will compel you to reflect on the construction of ideas, the formal correctness of their arguments and evidence. You will learn to create formally correct logical processes, and to formally identify faulty thought processes. • You will remind the conceptual principles of algorithmic and creative thinking, and constructivism, using cognitive technologies and logical programme LOGO. • You will learn to work with logical programme Prolog, create databases of logical processes and relationships, and make questions on the knowledge hidden in the database.

Teaching methods



The subject "Logical procedures and methods" can teach future economists to correct reasoning and use of language to cognitive purposes. The course is aimed to improve students thinking and is practically oriented, mainly to acquire usable skills in the practice of the modern manager. The subject uses computer programs Logo, Prolog and CLIPS, which are used in training logical thinking for future professionals at MIT and other prestigious universities. The development of the subject was supported by the Higher Education Development Fund.

Compulsory literature:

FRIEDRICH, Václav a Renata MAJOVSKÁ. Study materials for Logical Procedures and Methods in LMS Moodle. [online] Ostrava: Moodle na EkF-VŠB TU Ostrava, 2009.

Recommended literature:

CARROLL, Lewis. The Game of Logic. Hard Press, 2006. ISBN 978-1406927238. RAILSBACK, Steven a Volker GRIMM. Agent-Based and Individual-Based Modeling: A Practical Introduction. Princeton University Press, 2011. ISBN 9780691136745. BADGER, Michael. Scratch 1.4: Beginner's Guide. Packt Publishing, 2009. ISBN 978-1-847-1967-67.

Way of continuous check of knowledge in the course of semester

Credit is awarded by the instructor teacher. Problems with granting the credit can be dealt with the guarantor of the subject, or with the head of the department. COMPLIANCE CRITERIA: a) Essay Students should not only know the issues subject to study, but should be able to think over it and comment it. The task is to write an essay on the topic. It is necessary to respect a given topic and scope, otherwise the task will be penalized spot. Essays are evaluated by each student (anonymously of course). A maximum of 25 points can be obtained, no minimum is specified. b) Test A comprehensive test that validates the knowledge and ability to apply the method used and supporting computer programs. The comprehensive test is mandatory and is rated to 30 points, at least 15 points is needed. The test can be repeated, a better result is count. c) Free Composition Each student chooses one of the tasks offered to prepare and cast using a suitable computer program (NetLogo or Prolog). Also these compositions are evaluated by students to each other (anonymously of course). A maximum of 30 points can be obtained, no minimum is specified. A necessary condition for obtaining credit is getting 45 or more points from all tasks together.


The education is supported using e-learning course in Moodle CMS.

Other requirements


Subject has no prerequisities.


Subject has no co-requisities.

Subject syllabus:

OUTLINE OF LECTURES: 1. Introduction to Modern Logic 2. The process of thinking and mental mapping 3. Classical propositional logic 4. Predicate Logic 5. Multiset logic and cardinality 6. Syllogisms and their solutions 7. Formal theory and knowledge TUTORIALS OUTLINE: 1. Introduction to Logic 2. Simple logical tasks 3. Logical tasks with the statements and predicates 4. Boolean algebra to solve logical tasks 5. Creative mental maps on the road to success 6. Construction algorithms in the LOGO language 7. From turtle graphics to fractal geometry 8. LOGO as a learning system 9. Solving logic problems using the set 10. Syllogisms, and their evidence 11. Polling in Prolog 12. Knowledge building in Prolog 13th and 14th week tutorials can be used as the reserve or to meet the mandatory compensatory tasks.

Conditions for subject completion

Full-time form (validity from: 2010/2011 Winter semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Exercises evaluation Credit 85  45
Mandatory attendence parzicipation: participation in the workshops is obligatory

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.ZaměřeníFormStudy language Tut. centreYearWSType of duty
2010/2011 (B6208) Economics and Management (6202R049) Accounting and Taxes (00) Accounting and Taxes P Czech Ostrava 3 Choice-compulsory study plan
2010/2011 (N6208) Economics and Management (6208T037) Management P Czech Ostrava 1 Choice-compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner