Results 21 to 30 of about 622,762 (333)
Historicka Sociologie, 2014 Simmel’s social theory, namely his formal sociology, has long been considered if not dead, then of little relevance for contemporary sociological theories. This study is an attempt at proving the contrary. Our aim is to show that Simmel’s social ontology
Lukáš Bůžek
doaj +1 more source
Finding the Key Structure of Mechanical Parts with Formal Concept Analysis
Information, 2020 Aiming at the problem that the assembly body model is difficult to classify and retrieve (large information redundancy and poor data consistency), an assembly body retrieval method oriented to key structures was presented.
Qiang Wu, Yan Dong, Liping Xie
doaj +1 more source
Formal Program Verification Using Symbolic Execution [PDF]
IEEE Transactions on Software Engineering, 1982 Symbolic execution provides a mechanism for formally proving programs correct. A notation is introduced which allows a concise presentation of rules of inference based on symbolic execution. Using this notation, rules of inference are developed to handle a number of language features, including loops and procedures with multiple exits.
Dannenberg, Roger B., Ernst, George W.
openaire +2 more sources
Nature as a Network of Morphological Infocomputational Processes for Cognitive Agents [PDF]
, 2017 This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social
Dodig Crnkovic, Gordana
core +2 more sources
Formalizing Symbolic Interactionism [PDF]
Methodological Innovations Online, 2009 Symbolic interactionism is generally known as a theory typically linked with a qualitative methodology. Recent developments in quantitative social network analysis, however, can analyze processes theorized within this theoretical tradition. Thick description can be complemented with statistical analyses of network structure and dynamics, expanding the
openaire +4 more sources
A symbolic theory of formal modular covariants [PDF]
Transactions of the American Mathematical Society, 1922 1. Prologue. Thus far, very little has been published on the general theory of formal modular invariants or covariants. Workers have, on the whole, obtained results for special, more or less isolated, cases; and although some beautiful and important general theorems have been proved, they are more or less unrelated.
openaire +1 more source
WITTGENSTEIN, FORMALISM, AND SYMBOLIC MATHEMATICS [PDF]
Kriterion: Revista de Filosofia, 2020 ABSTRACT In a recent essay, Sören Stenlund tries to align Wittgenstein’s approach to the foundations and nature of mathematics with the tradition of symbolic mathematics. The characterization of symbolic mathematics made by Stenlund, according to which mathematics is logically separated from its external applications, brings it closer to the formalist ...
openaire +4 more sources
Young Children Intuitively Divide Before They Recognize the Division Symbol
Frontiers in Human Neuroscience, 2022 Children bring intuitive arithmetic knowledge to the classroom before formal instruction in mathematics begins. For example, children can use their number sense to add, subtract, compare ratios, and even perform scaling operations that increase or ...
Emily Szkudlarek +3 more
doaj +1 more source
ETHNOMATHEMATICS THOUGHT AND ITS INFLUENCE IN MATHEMATICAL LEARNING
MaPan: Jurnal Matematika dan Pembelajaran, 2020 Mathematics is a symbol of rationality and the highest intellectual achievements of human civilization. Mathematics has always been seen as abstract and formal knowledge.
Andi Saparuddin Nur +4 more
doaj +1 more source
Semantics and functions of the symbol in the prose of realism and modernism
Вісник Харківського національного університету імені В. Н. Каразіна. Серія Філологія. Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Fìlologìâ., 2023 The article attempts to combine the structural and comparative historical methods of symbol research. This is its scientific novelty, since modern symbolology is dominated by studies of a structural and semiotic nature and there is a clear lack of works ...
Inna Gazheva
doaj +1 more source