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
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
Önermeler Mantığında Anlambilimsel Eksiksizlik İspatları ve Meta-Mantıksal Yorumlamaları
Date
2017-01-01
Author
Akçelik, Oğuz
Metadata
Show full item record
Item Usage Stats
46
views
0
downloads
Cite This
Bu çalışmada, önermeler mantığı dizgeleri ile bu dizgelerin anlambilimsel (semantik) yorumlamalarında eksiksizlik teoremlerive bu teoremlerin meta-mantıksal yorumlamaları incelenecektir.İlk bölümde, önermeler mantığı dizgesini oluşturan dil, bu dile ait yapısal kurallar ve çıkarım kurallar ortaya konulacaktır. Ardından sağlamlık ve tutarlılık teoremlerine geçilerek, türetilebilirlik vegeçerlilik arasındaki ilişkiye değinilecektir. İkinci bölümde, önermeler mantığı dizgeleri içerisinde eksiksizlik teoremleri sunulacak ve ardından bu teoremlerin meta mantıksal yorumlamalarına değinilecektir.
Subject Keywords
Önermeler Mantığı
,
Eksiksizlik
,
Sağlamlık
,
Doğruluk
,
Meta-mantıksal Yorumlamalar
URI
https://calistay.mantik.org.tr/wp-content/uploads/2018/01/VII-Mantik-Calistayi-Kitabi.pdf
https://hdl.handle.net/11511/72143
Relation
VII. Mantık Çalıştayı Kitabı
Collections
Department of Philosophy, Book / Book chapter
Suggestions
OpenMETU
Core
Önermeler Mantığında AnlambilimselEksiksizlik İspatları ve Meta-Mantıksal Yorumlamaları
Akçelik, Oğuz (null; 2017-06-29)
Bu çalışmada, önermeler mantığı dizgeleri ile bu dizgelerin anlambilimsel (semantik) yorumlamalarında eksiksizlik teoremlerive bu teoremlerin meta-mantıksal yorumlamaları incelenecektir.İlk bölümde, önermeler mantığı dizgesini oluşturan dil, bu dile ait yapısal kurallar ve çıkarım kurallar ortaya konulacaktır. Ardından sağlamlık ve tutarlılık teoremlerine geçilerek, türetilebilirlik vegeçerlilik arasındaki ilişkiye değinilecektir. İkinci bölümde, önermeler mantığı dizgeleri içerisinde eksiksizlik teoremleri...
Social political discourse of the surveillance society
Yumurtacı, Egemen Nilüfer; Okyayuz, Mehmet; Department of Science and Technology Policy Studies (2003)
This thesis aims to discuss the Surveillance Society discourse, especially in relation with political analysis in a historical framework by means of new technologies. This study also analyzes the use of so-called revolutionary information and telecommunication technologies for data recording and tracking is analyzed, which is used to regulate the order of the system by the power holders. The limits of thought are traced to Foucault and Lyon. To this context an attempt is made to show that surveillance/ moni...
EMDD-RL: faster subgoal identification with diverse density in reinforcement learning
Sunel, Saim; Polat, Faruk; Department of Computer Engineering (2021-1-15)
Diverse Density (DD) algorithm is a well-known multiple instance learning method, also known to be effective to automatically identify sub-goals and improve Reinforcement Learning (RL). Expectation-Maximization Diverse Density (EMDD) improves DD in terms of both speed and accuracy. This study adapts EMDD to automatically identify subgoals for RL which is shown to perform significantly faster (3 to 10 times) than its predecessor, without sacrificing solution quality. The performance of the proposed method na...
Galaksideki Be/X-Işın Çiftleri ve Adayları Kataloğu
Özbey Arabacı, Mehtap; Saguner Rambaldi, Tenay; Kızıloğlu, Ümit; Yerli, Sinan Kaan (null; 2018-09-05)
Bu çalışmada, Galakside şimdiye kadar keşfedilmiş tüm BeXRB sistemlerini ve adaylarını, bir katalog halinde toplamayı hedeflediğimiz kapsamlı literatür taramasının ilk çıktıları sunulmaktadır. Bu sonuçlara göre Galaksi’de Porb ve Pspin değerleri bilinen ve optik bileşeninin Be tipi yıldız olduğu kanıtlanmış 33 tane BeXRB, buna karşılık 31 tane aday sistem bulunmaktadır. Katalogdaki 38 kaynak için Corbet Diagramı’nın en güncel versiyonu elde edilmiş ve beklendiği gibi spin ve yörünge dönemleri arasındaki ili...
Bipedal Robot Walking by Reinforcement Learning in Partially Observed Environment
Özalp, Uğurcan; Uğur, Ömür; Department of Scientific Computing (2021-8-27)
Deep Reinforcement Learning methods on mechanical control have been successfully applied in many environments and used instead of traditional optimal and adaptive control methods for some complex problems. However, Deep Reinforcement Learning algorithms do still have some challenges. One is to control on partially observable environments. When an agent is not informed well of the environment, it must recover information from the past observations. In this thesis, walking of Bipedal Walker Hardcore (Open...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
O. Akçelik,
Önermeler Mantığında Anlambilimsel Eksiksizlik İspatları ve Meta-Mantıksal Yorumlamaları
. 2017, p. 26.