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

• 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.

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.

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.

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.