Formaalne esitus on ilma lingivtilise keele kasutamise info edastamine, peamiselt sümbolite abil. Formaalne esitus peab olema üheselt mõistetav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause on lause, millele saab omistada tõeväärtust(0,1). Tõeväärtuseid on kaks, 0-väär, 1-tõene. Lihtlause on lihtsaim lausearvutuse lause. Lausearvutuse lauseid tähistatakse suutre tähtedega A, B, C. Liitlause koosneb lihtlausetest ning neid siduvatest konstruktisoonidest ja sidesõnadest. Lausearvutuse loogikatehted on inversioon, konjunktsioon, disjunktsioon, implikatsioon, ekvivalents. Binaarsed tehted on need tehted, mida saab teha kahe argumendi korral(konjunktsioon, disjunktsioon, implikatsioon, ekvivalents). Unaarne tehe on tehe, mida saab rakendada üksikule argumendile/operandile(inversioon).
· Varud ei ole likviidne vara (raha on likviidne) · Varud moodustavad ca 20% tootmisettevõtte ja 50% jaekaubaettevõttes (Grant 2006) · Peamised põhjused parude omamise poolt: o Parem klienditeenindus (kõrgem tarnevõime) o Tootmis-, ostu- ja transpordikulude kokkuhoid (allahindlus) o Kaitse hinnakõikumiste vastu o Kaitse nõudluse ja ebakindluse vastu o Kaitse ettenägematute asjaolude vastu · Argumendid liiga suutre varude omamise vastu: o Varud seovad kapitali, mida saaks mujale investeerida o Varjavad tegevuse kvaliteediprobleeme (riknevad varud) o Tarneahela mitteoptimaalse kasutamine · Küsimus on, et kui palju omada varusid? (varude säilitamiskulud vs klienditeeninduse tase) · Tõhus varude haldamine on tasemel varude kontrollimise ja varude juhtimise vahel tulemus
annaabi.ee 
