Programare în Python – Sintaxa și semantica – Declarații

|

Python este menit să fie un limbaj ușor de citit. Formatarea sa este vizuală, și folosește adesea cuvinte cheie în limba engleză, unde alte limbi folosesc punctuația. Spre deosebire de multe alte limbi, nu folosește paranteze cretate pentru a delimita … Citeşte mai mult

Cuantificatori în semantica lumilor posibile

|

Ideea unor lumi posibile a ridicat perspectiva respectabilității extinse asupra logicii modale, nu prin extinderea logicii modale, ci prin dotarea ei cu o teorie semantică extensivă – a cărei temelie logică este aceea a logicii clasice predicate și, prin urmare, … Citeşte mai mult

Semantica logicii de primul ordin

|

O interpretare a unui limbaj de prim ordin atribuie o notare fiecărui simbol non-logic din limba respectivă. De asemenea, determină un domeniu al discursului care specifică gama de cuantificatori. Rezultatul este că fiecărui termen i se atribuie un obiect pe … Citeşte mai mult