Universes and simulations: Civilizational development in nested embedding
M Komosinski - Foundations of Computing and Decision Sciences, 2018 - sciendo.com
The rapid development of technology has allowed computer simulations to become routinely
used in an increasing number of fields of science. These simulations become more and …
used in an increasing number of fields of science. These simulations become more and …
[PDF][PDF] Machine Learning and Formal Verification for Acquisition of Knowledge in Heuristic Program Synthesis
I Błądek - 2022 - cs.put.poznan.pl
Automatic program synthesis is increasingly used to support programmers in software
development, enabling automatization for users based on simple cues or examples, and in …
development, enabling automatization for users based on simple cues or examples, and in …
MODELOWANIE W RAMACH FILOZOFII IN SILICO NA PODSTAWIE WYBRANYCH ELEMENTÓW Z ETYKI SPINOZY
J Strzelecki - Humanistyka i Przyrodoznawstwo, 2019 - ceeol.com
S treszczenie A bstract W XX wieku ogromny wpływ na filozofię wywarła logika formalna
wraz z semiotyką, co zaowocowało powstaniem ważnego nurtu nazwa! nego filozofią …
wraz z semiotyką, co zaowocowało powstaniem ważnego nurtu nazwa! nego filozofią …
Etyka Spinozy sposobem informatycznym udowodniona–szkice z filozofii in silico.
J Strzelecki - Humanistyka i Przyrodoznawstwo, 2019 - czasopisma.uwm.edu.pl
W artykule przedstawiono koncepcję filozofii in silico wraz z implementacją tej idei do
fragmentów Etyki Barucha Spinozy. Zbudowano model deklaratywny w języku Prolog …
fragmentów Etyki Barucha Spinozy. Zbudowano model deklaratywny w języku Prolog …