|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
|
Oleksandr Tsymbal, Artem Bronnikov
Pág. 105 - 112
The subject of the study in the article is flexible integrated robotic systems. The aim of the work is to integrate models and decision-making methods in order to create information technology for flexible production. The following tasks are solved in th...
ver más
|
|
|
|
|
|
|
Luminita Pistol,Radu BUCEA-MANEA-TONIS
Pág. 58 - 62
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filt...
ver más
|
|
|
|