Analüütilise mõtlemise arendamine. Loogika süntaksi, semantika ja tuletuse mõistmine. Mõistete defineerimine ja vigaste definitsioonide parandamine. Lause tõeväärtuste määramine ja liitlausete teisendamine. Vastavate matemaatiliste vahendite kasutamine tõestamises.
Anda teadmised rakenduste loomise põhimõtetest, meetoditest ja vahenditest ning tekitada objektorienteeritud programmeerimise rakenduste ja VBA toega rakenduste MS Exceli keskkonnas loomise oskused.

Development of analytical thinking. Logic syntax, semantics and derivation understanding. Definitions of concepts and faulty definitions correction. Determination of a statement truth values and compound statements transformation. Applying of proper mathematic tools in proof.
To teach the fundamentals of the principles, methods and tools for creating applications, and to equip one with the skills of creating applications in MS Excel by means of VBA.

Aine läbinud üliõpilane:
- on saanud ülevaate kriitilise mõtlemise eelduseks olevatest oskustest ning arutlemisel toimuvatest mõtteprotsessidest;
- teab loogilise mõtlemise põhireegleid;
- määrab mõiste sisu ja mahu ning liigitab mõisteid, defineerib mõisteid, leiab etteantud definitsioonides ebatäpsusi ja vigu;
- teeb tehteid lausetega, liitlausete teisendamist ja määrab lause tõeväärtust, oskab lahendada lausearvutuse ülesandeid;
- kasutab matemaatilist teksti kirjutades predikaate, kvantoreid;
- eraldab teoreemist eelduse ja väite ning moodustab antud teoreemi järgi pöördteoreemi, vastandteoreemi ja pöördvastandteoreemi ning tõestab teoreemi;
- oskab luua ja kasutada makrosid ning kasutajafunktsioone MS Exceli keskkonnas;
- koostab lihtsamaid valikut ja tsükleid sisaldavaid programme;
- koostab mitmeprotseduurilisi programme ning korraldab andmevahetust protseduuride vahel; - koostab iseseisva tööna programmi ja selle juurde kuuluva dokumentatsiooni.

Having finished the study of the subject a student:
- gets an overview of exisiting skills for assumption of critical thinking and processes of thinking in discussion;
- knows the main rules of logic thinking;
- determines content and volume of a concept and classifies concepts, defines the concepts, finds inaccuracies and mistakes in the given definitions;
- makes operations with statements, transformation with compound statements and determines the truth value of a statement, can solve the tasks of statement analysis;
- uses predicates and quantors when writing mathematical texts;
- separates assumption and a statement from a theorem and forms an inverse theorem according to the given theorem, opposite theorem and back-opposite theorem and can prove it.
- can create and use macros and user functions in MS Excel;
- composes simple programs with choose and cycles;
- composes programs by assembling subprograms and organize data link between the subprograms;
- composes a program with explaining documentation.

Loogika mõtlemise põhireeglid. Mõiste ja definitsioon. Formaalne loogika: lause, loogilised tehted, lausearvutus (liitlausete tõeväärtused, samaväärsed liitlaused, liitlausete teisendamine, duaalsuse seadus, liitlausete ja nende tõehulkade vaheline seos) ja predikaatarvutus (ühekohaline ja kahekohaline predikaat, põhisamasused predikaatidega, kvantorid).
Õpitakse programmeerimist MS Excel'i Visual Basic'u keskkonnas.

The main rules of logic thinking. Concept and definition. Formal logic: statement, logic operations, statement analysis (compound statements truth values, compound statements of equal value , compound statements trasformation, duality law, compound statements and their complete sets coupling) and predicate calculus( one-place and binary predicate, main identities with predicates, quantors).
Studying programming by using MS Excel’s Visual Basic is the topics of the course.

.

.

-

-

.

-