Limba formalizate (limba oficială), toate repararea și reglare de ordinatoare
u (în sens larg) Orice set de specialitate într-un fel
limba GUVERNAMENTALĂ înseamnă o reguli (mai mult sau mai puțin) fix exact educație
„Expresiile“ (sintaxa formală) și atribuirea acestor expresii ale unui anumit sens (semantica limbajului formalizate). Această utilizare a termenului
„O limbă oficială“ nu implică, în general, o anumită limită pentru sintaxa sau semantica, sau numirea unui astfel de limbaj. De exemplu, „H2O“ expresia „apă», «apa», «apa», «Wasser»,
«Vesi» etc. poate, în principiu, considerate în mod egal „formaliza elemente
v Sub limbajul formalizat pentru a înțelege logica de calcul este interpretat, că este, un sistem formal, împreună cu interpretarea sa. Folosind un limbaj formal - o trăsătură caracteristică a logicii matematice, care este adesea definită ca „obiectul logicii formale, studiate prin construirea de limbi oficiale“. Ar trebui, totuși, să fie remarcat faptul că acest tip de
„Definiții“ nu sunt nicidecum un atribut esențial de prezentare a logicii matematice: conceptul de limbaj formalizat, nu numai că nu este inclus (de obicei), în subiectul limbajului logico-matematic, dar nu este, strict vorbind, o parte a unei anumite meta-limbaj, fiind termenul de lucru mai convenabil pentru preliminară explicația euristică a subiectului acestei științe.
Specificarea formală a [formale [formal] Descriere] (specificație formală)
Caietul de sarcini, în scris, în conformitate cu orice standarde.
Teoria formală (teoria formală)
u (Mat.) Mulțimea tuturor teoreme din model formal (luate împreună cu alfabetul unui limbaj formal, seturi de axiome și reguli).
v (Mat.) Conceptul, dezvoltat în cadrul logicii formale ca bază pentru formalizarea dovada teoriei.
O dovadă formală (dovada formală)
Când oamenii vorbesc despre dovada formală. În primul rând, descrie
model formal - un set de axiome, înregistrate cu ajutorul unui limbaj formal, precum și regulile de inferență. Dovada oficială a aprobării menționate la o concluzie formală, care este ultima linie a acestei declarații. Adoptarea având
dovada formala, numit teorema. și mulțimea tuturor teoreme din model formal (luate împreună cu alfabetul unui limbaj formal, seturi de axiome și reguli) se numește o teorie formală.
O derivație formală (inferență formală)
Finita set ordonat de linii scrise într-un limbaj formal,
astfel încât fiecare dintre ele este fie o axiomă sau derivată din rândurile anterioare folosind una din regulile de inferență.
Parametrul oficial (parametru formal)
Parametrul specificat în rubrica procedura utilizată și în organism procedură.
Primește valoarea pentru procedura de activare.
Format (date) (format de date)
u (BD) caietul de sarcini, precum și o metodă pentru aranjarea și prezentarea datelor în memorie, într-o bază de date sau de pe o unitate externă, precum și intrări-ieșiri.
v (IT) Un anumit obiect structură de informații care trebuie tratate, pe suportul de înregistrare sau ca la ieșire pe suport de hârtie.
w (. Prog) Partiționarea.
(Prog.) Introducerea de date în conformitate cu un format prescris. Astfel de operații sunt realizate la datele de înregistrare (sau de ieșire) pe diferite dispozitive (monitor, imprimantă, disc, etc.). De exemplu: 1) în limba FORTRAN prin aplicarea operatorilor FORMAT; 2) Limba Turbo Pascal specificând specificațiile corespunzătoare din citească și să scrie operatori, de exemplu, write (Real_Cell: 8: 2); 3) în limba Visual Basic pentru aplicații prin folosirea formatului funcției limbajului (), etc.
(IT) Maparea dintre biții de date și schimbări în suprafața magnetizare a suportului.
(Prog.) O operație de scriere pe etichetă purtătoare de date, care determină informațiile de localizare a înregistrărilor (blocuri, sectoare) și sectoare care nu sunt potrivite pentru înregistrare, precum și alte informații de control.