Calcul - Calculul sensul în dicționar al limbii române
Ce este „Calculul“ și ce înseamnă? Sensul și interpretarea termenului în dicționare și enciclopedii:
- pe baza unor reguli clare ale aparatului formale de operare cu cunoștințele unui anumit tip, care permite o descriere precisă a unei anumite clase de probleme, și pentru anumite subclase din această clasă - și soluții algoritm. În logica matematică, conceptul de AI a suferit rafinament și o formalizare mai riguros. Logică și este construit pe baza unui limbaj formalizevannogo. set de simboluri sursă din care, prin reguli bine definite considerate construite cu formula I. Unele dintre aceste formule sunt selectate ca axiome din care regulile de conversie cu ajutorul formulei obținute noi numite teoreme. Odată adăugat la I. interpretare, care dă valoarea simbolurilor sale sursă și formulele VI este convertit într-o limbă care descrie o anumită zonă subiect (cm. Clase Intervențiile, predicatele și m. P.).
- pe baza unor reguli clare ale aparatului formale care funcționează cu cunoștințele unui anumit tip, permițându-yuschy oferă o descriere precisă a unei anumite clase de probleme, iar pentru subclase pe armături - și soluții algoritm. În logica matematică, conceptul de AI a suferit rafinament și o formalizare mai riguros. Logică și este construit pe baza cărora limbajul non-formalizevannogo. Dată set de simboluri de pornire-TION, din care prin utilizarea unor reguli bine definite considerate construite cu formula I. Unele dintre aceste formule sunt selectate ca axiome care sunt regulile prin preformare de formule noi preparate, numite teoreme. Odată adăugat la I. interpretare, care dă valoarea simbolurilor sale sursă și formulele VI este convertit în limbaj, care descrie unele-yuschy subiect suprafață (cm. Propozitionala-TION, clase, predicate și m. P.).
Collegiate Dicționar „Calculul
sistem de conectare creat folosind protsessaobrazovaniya toate expresiile simbolice sintactic corecte ale bukvalfavita sistemului - .. limbaj calcul, și anume termeni (cuvinte) și formulele (fraze), și procesul de retragere potențial semnificative (true) formulele de calcul (egofrazeologii) dintr-o zăvorâre este naboraformul aceeași limbă, axiome. Orice calcul unic alfavitaischisleniya determinat, formarea de reguli lingvistice în alfabetul, și setul de axiome pravilpreobrazovaniya (O) frazeologiei sale. .. atribuind simboluri ischisleniyaznacheny, și anume considerație calculi ca sistem semn (interpretarea calculi) convertește calcul formalizate yazyk.Osnovnye exemple de calcul: algebric și numeric sistem logicheskieischisleniya.
- un sistem de reguli de operare cu semne, lărgește posibilitățile de gândire în rezolvarea problemelor ive dovada de propuneri care pot fi exprimate prin intermediul ( „limba“) I. I. Caracteristica este că obiectele să-rymi-l opereze, sunt obiecte tangibile (. numere, litere și alte semne), practic neschimbat în procesul de aplicare a le regulilor I. I. Punct de vedere istoric a apărut și dezvoltat în cadrul matematicii (de exemplu, diferențiale și I. integral și colab ..); Metoda mai târziu de construire AI a fost extins la logica, există diferite tipuri de I. logică și logică matematică în legătură cu ceea ce sa conturat ca o logică matematică sau simbolic știință, într-un roi prin construirea AI exprimate forme logice. Prezentarea anumitor domenii de cunoaștere, în special în domeniul științelor deductive, sub formă de AI este construit pe baza metodelor dezvoltate în moderne. În mod logic, tipul cel mai consistent formalizare domeniul de cunoștințe adecvate; formalizare au confirmat eficacitatea acestei practici de aplicare a tehnicii de calcul, Cybernetics dezvoltare si Informatica (metoda Logistic).
Cuvântul înțeles similar
(Calcul infinitezimal franceză.) - Calculând produs cu cantități infime în care derivatul rezultat este considerat ca o sumă infinită de infinit de mic. este un termen generic pentru calcul diferențial și integral, formează baza matematici superioare moderne.
ramură a logicii matematice, aksiomaticheskoepostroenie logica propozitiilor.
Collegiate Dicționar
- sistem logic formalizare raționament bazat pe structura enunțuri complicate abstractizare structura internă a declarațiilor elementare. Classical AI în. consistente (consistența teoriei axiomatice) posedă plinătatea (teoria axiomatica greutate). Despre AI în nonclasic. cm. Logica constructivă. Multe-evaluate logica.
ramură a logicii matematice, logica claselor reprezentate (construit) ca un calcul; sootvetstvuetsillogistike despre Aristotel.
Collegiate Dicționar
- vacanță de calcul cu plată. Ea se bazează pe salariul mediu zilnic. Câștigul salarial mediu zilnic pentru a plăti pentru concediu și compensații pentru concediu neutilizate se calculează prin împărțirea sumei efectiv plătite în perioada contabilă (în ultimele trei luni calendaristice) 3 și coeficienții: 25 (25 - numărul mediu lunar de zile lucrătoare în timpul vacanței plăti specificate în zile lucrătoare) ; 29 (29 - numărul mediu lunar de zile calendaristice pentru plata concediilor specificate în zile calendaristice). Trebuie avut în vedere faptul că durata concediului anual specificat în zile lucrătoare, calculată pe calendarul de șase zile săptămâna de lucru cu o zi liberă duminică. Sărbători legale care se încadrează în perioada de vacanță, în numărul de zile calendaristice de concediu nu sunt incluse și nu sunt plătite.
ramură a logicii matematice, logicheskoeischislenie în alfabetul semnelor care, în plus față de ischisleniyavyskazyvany de caractere include, de asemenea, simboluri ale lucrurilor (persoane fizice), proprietățile lor iotnosheny, precum și expresiile „“ toate „“ și „“ unii „“ (cuantificatori) pozvolyayuschiekolichestvenno caracterizează conectarea lucrurilor, proprietăți și relații; logica predicatelor sluzhitaksiomatizatsiey.
Collegiate Dicționar
- extinderea calculul propozitional de concluzii oficializarea, bazată pe structura internă a pedepselor. I. p. Frege a fost construit și este o îmbogățire esențială a lui Aristotel și silogistic tradiționale.
1. Etapele procesului de znach. vb. să fie calculat (1) Se calculează; numărare de calcul. 2. depășite. Procesul de pași la VALUE. vb. calcula (2) este numerotat; listare.
Dicționar explicativ al lui Efraim
- calcularea câștigurilor salariale medii. tranzactionare mediu zilnic este determinat prin împărțirea sumelor plătite efectiv perioada de facturare (calendar cu trei luni, cu 1 până la prima zi) la numărul de zile lucrătoare, pornind de la un normal sau redus de lucru timp legislația stabilită RF. Acest lucru ia în considerare toate plățile pe primele acumulate. Excepție fac obiectul unor sume reale primite, precum și timpul în care angajatul este eliberat de la locul de muncă (cu plată parțială sau fără plată), a fost concediu în principal, secundar sau de studiu, care primesc prestații pentru incapacitate temporară de muncă sau concediu de maternitate și de asemenea, aceasta nu a funcționat din cauza suspendării companiei, departamentul sau producție, volume reduse de producție (lucrări, servicii). La calcularea câștigurilor medii nu includ plăți, cum ar fi o compensație pentru concediul nefolosit, plățile compensatorii, diferite tipuri de beneficii suplimentare sub formă de ajutor material, premii individuale și altele. În legătură cu informațiile și creșterea prețurilor în cazul majorării ratelor de tarifare (salarii) în perioada de facturare la calcularea ratelor medii tarifare de salarizare (salarii și bonusuri și alte beneficii sunt ajustate pentru a crește coeficientul). Bonusuri și alte plăți de stimulare prevăzute de sistemul de remunerare sunt incluse în calculul câștigului mediu în momentul tarifelor lor reale, și bonusuri anuale și beneficii serviciu îndelungat - la o rată de 1/12 din perioada de facturare lunară.
termenul de valabilitate al produsului este determinat de perioada de timp calculată de la data fabricării sale, în care produsul este adecvat pentru utilizare sau data până la care produsul este adecvat pentru utilizare. Codul civil al România din 26.01.96 N 14-FZ, st.473