Documente publicate de Camil Trandafir
Camil Trandafir
2 documente publicate în Biblioteca RegieLive
Demonstrarea Automată a Teoremelor
SCURT ISTORIC AL SISTEMELOR DE DEDUCŢIE Sistemele de deducţie automatã îşi datoreazã apariţia şi existenţa la doi factori principali: progresele realizate în construcţia echipamentelor de calcul pe de-o parte şi sistematizarea capacitatilor umane de a sintetiza concluzii din premise pe de alta. Cum în legatura cu... citește mai departe
Bugetul de stat
Introducere Economia Mondială In contextul manifestării unor şocuri multiple, economia mondială a înregistrat o încetinire considerabilă în anul 2008, de la 5% în 2007 la doar 3%în 2008, estimându-se o creştere globală de doar 0,5%în 2009. În concordantă cu această proiecţie, prognoza comerţului mondial prezintă... citește mai departe