This course provides the basics on the Logical Framework Approach (LFA), the method adopted by the IAEA Technical Cooperation Programme to achieve high quality project standards. This course is ...

THINK: The framework looks for a task-level logic in this phase that is shared by all instances of a certain task. Next, pseudocode, which offers a more adaptive and flexible representation than ...

The problem of constructing complete logical bases based on activation functions using parabolic functions and their combinations with linear elements is considered. To implement the basis based on ...

In the realization of a logical function by a network of threshold components, one important engineering parameter is the tolerances which must be placed on the coefficients and threshold of the ...

We extend Moss and Parikh's modal logic for subset spaces by adding, among other things, state-valued and set-valued functions. This is done with the aid of some basic concepts from hybrid logic. We ...