Logica predicatelor

Logica predicatelor – cunoscută și ca logica de ordinul întâi și calcul predicatelor de ordinul întâi – este o colecție de sisteme formale utilizate în matematică, filosofie, lingvistică și informatică. Logica de ordinul întâi utilizează variabile cuantificate asupra obiectelor non-logice … Citeşte mai mult

The post Logica predicatelor appeared first on SetThings.

Lasă un răspuns

Adresa ta de email nu va fi publicată.