-
1
A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
Published 2018“…We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S, there exists a countable field F of arbitrary characteristic with the same essential computable-model-theoretic properties as. …”
Get full text
Get full text
Article -
2
Developmental and computational perspectives on infant social cognition
Published 2017“…Keywords: Social cognition; Cognitive Development; Computational Modeling; Theory of Mind…”
Get full text
Get full text
Get full text
Get full text
Article -
3
Newton da Costa e a Filosofia da Quase-Verdade
Published 2009-08-01“…Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. …”
Get full text
Article -
4
Efficiency of information support of operator when controlling power engineering facilities
Published 2019-05-01“…The methods of the study: methods of systems analysis, mathematical modeling of complex systems, computer modeling, theory of Markov processes, theory of systems with accidental changing structure. …”
Get full text
Article -
5
Efficiency of information support of operator when controlling power engineering facilities
Published 2019-05-01“…The methods of the study: methods of systems analysis, mathematical modeling of complex systems, computer modeling, theory of Markov processes, theory of systems with accidental changing structure. …”
Get full text
Article