Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Logic, logicism, and intuitions in mathematics
Download
105103.pdf
Date
2001
Author
Karakadılar, Besim
Metadata
Show full item record
Item Usage Stats
161
views
0
downloads
Cite This
URI
https://hdl.handle.net/11511/12149
Collections
Graduate School of Social Sciences, Thesis
Suggestions
OpenMETU
Core
Logic Programs, Norms and Action
Çiçekli, Fehime Nihan (Springer, 2012-01-01)
Temporal logic inference for classification and prediction from data
Kong, Zhaodan; Jones, Austin; Medina, Ayala Ana; Aydın Göl, Ebru; Belta, Calin (2014-04-15)
This paper presents an inference algorithm that can discover temporal logic properties of a system from data. Our algorithm operates on finite time system trajectories that are labeled according to whether or not they demonstrate some desirable system properties (e.g. "the car successfully stops before hitting an obstruction"). A temporal logic formula that can discriminate between the desirable behaviors and the undesirable ones is constructed. The formulae also indicate possible causes for each set of beh...
Rationality of Kuhn's conception of theory-change.
Turanlı, Aydan; Department of Philosophy (1985)
Semantic Communications in Networked Systems: A Data Significance Perspective
Uysal, Elif; KAYA, ONUR; Ephremides, Anthony; Gross, James; Codreanu, Marian; Popovski, Petar; Assaad, Mohamad; Liva, Gianluigi; Munari, Andrea; Soret, Beatriz; Soleymani, Touraj; Johansson, Karl Henrik (2022-7-01)
We present our vision for a departure from the established way of architecting and assessing communication networks, by incorporating the semantics of information, defined not necessarily as the meaning of the messages, but as their significance, possibly within a real-time constraint, relative to the purpose of the data exchange. We argue that research efforts must focus on laying the theoretical foundations of a redesign of the entire process of information generation, transmission, and usage for networke...
Geometry knowledge test about triangles: evidence on validity and reliability
Ubuz, Behiye (2018-08-01)
In the present study we aimed to develop a multidimensional test assessing high school students' knowledge about triangles, and then to determine the validity evidence for it based on the internal structure and relations to another variable and its reliability. The test developed was administered to 557 tenth grade students. To assess the validity evidence based on the internal structure, the data were analyzed using confirmatory factor analysis, inter-dimension correlations and two-way MANOVA across gender...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
B. Karakadılar, “Logic, logicism, and intuitions in mathematics,” Middle East Technical University, 2001.