Software de sistem

DEFINITII
Propozitia simpla este o asertiune, o afirmatie, exprimata minimal printr-o actiune concreta, un predicat, aplicat unui subiect precizat.
Judecata este operatia de atribuire de valoare de adevar unei propozitii, stabilind relatia de ordine in multimea perechilor subiect-predicat.

Inferenta este o operatie elementara de derivare a unei propozitii din alta, care sa conserve judecata initiala.
stiinta logicii stabileste regulile de combinare a inferentelor, in vederea obtinerii de noi propozitii adevarate, pe baza operatiilor in multimea subiectelor si a predicatelor.
Algoritmul este o structura intelectuala elementara, definita ca o constructie eficienta bazata pe combinatii de inferente, respectand legile logicii.

Activitatile intelectuale elementare sunt colectii de algoritmi simpli necesari in rezolvarea unor probleme elementare concrete.
Activitatile intelectuale complexe sunt imbinari interactive de activitati intelectuale elementare, adunate in scopul rezolvarii unei probleme complexe concrete. Activitatile intelectuale se fixeaza pe o zona de propozitii cunoscuta informational, cu judecati stabilite, cautand in zone adiacente, asupra carora efectueaza judecati, conform legilor logicii.
Programul este o activitate intelectuala complexa constransa la o reprezentare intr-o forma standardizata.