Matematiksel mantık, ispat teknikleri, fibonacci sayısı, pisagor teoremi ispatı
Mathematical logic, proof techniques, fibonacci number, proofs of pythagoras theorem
- Tez No: 334788
- Danışmanlar: DOÇ. DR. FİLİZ TAŞCAN
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Mantıksal Önermeler, İspat Teknikleri, Fibonacci Sayısı, Pisagor Teoremi İspatı, Propositional Logic, Proof Techniques, Fibonacci Number, Pythagorean Theorem Proving
- Yıl: 2013
- Dil: Türkçe
- Üniversite: Eskişehir Osmangazi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Uygulamalı Matematik Bilim Dalı
- Sayfa Sayısı: 94
Özet
İspat teknikleri alanında önemli bir yere sahip olup, uygulama alanları oldukça geniştir. Bu yüksek lisans tezi kapsamında matematikte ispat tekniklerinin üzerinde çalışılmıştır.Mantığın bize sağladığı; Önermelerin ifadelerinde belirli aşamalarda çıkan sonuçların, tutarlı olup olmadığını ve ispat aşamasındaki hatalı kısımların bulunup bulunmadığını değerlendirmemizi sağlar. Öncelikle mantıksal önermelerle ilgili temel bilgiler ön hazırlık olması amacıyla kısaca verilmiştir.İspat teknikleri dört ana başlık altında anlatılmıştır. Bunlar doğrudan ispat, ters durum ispatı, olmayana ergi(çelişki) yöntemiyle ispat, tümevarım yöntemiyle ispat teknikleridir. Bu ispat teknikleri kullanılarak bazı ispatlar verilmiştir. Sonra ispat teknikleri yardımıyla bazı özel sayıların (Euler sayısı, Pi sayısı, Altın oran) irrasyonel oldukları ispat edilmiştir.İspat tekniklerinin yardımıyla Fibonacci sayısının nereden çıktığı, elde edilişi ve Binet formülünün tümevarım yöntemiyle ispatı verilmiştir. Sonra Altın oran ve Pascal üçgeninin Fibonacci sayısı ile ilişkisi verilmiştir.Son olarak ispat tekniklerini kullanmadan, geometri yardımıyla Pisagor teoreminin ispatına ulaşılmıştır. Pisagor teoreminin ispatı, çeşitli geometrik şekiller üzerinde gösterilerek verilmiştir.
Özet (Çeviri)
Proof techniques have an important place in mathematics and over a wide range of applications. Techniques of proof in mathematics is studied within the scope of this master thesis.Logic is provided by us, at certain stages in the statements of the results of propositions, whether it is consistent with, and provides proof stage to evaluate whether there is faulty parts. First, the basics of logical propositions are simply meant to be preliminary.Proof techniques are described under four main headings. These direct proof, proof of the reverse situation, contrapositive (conflict) method of proof, induction method of proof techniques. This proof techniques are some of the proofs. Then, with the help of proven techniques, some special numbers (Euler number, the number Pi, the Golden ratio) has been proved to be irrational.Where the Fibonacci numbers with the help of techniques from the proof, the inductive method of obtaining proof of the formula is given, and Binet. Then, the relationship between the number of golden ratio and the Fibonacci Pascal's triangle is given.Finally, using proven techniques, with the help of geometry proof of the Pythagorean theorem has been reached. Proof of the Pythagorean theorem, are showing a variety of geometric shapes.
Benzer Tezler
- Gödel makinelerinde öğrenme sorunu
Learning problem in Gödel machines
ABDULLAH HANZALE KORKMAZ
Yüksek Lisans
Türkçe
2024
Felsefeİstanbul ÜniversitesiSistematik Felsefe ve Mantık Ana Bilim Dalı
PROF. DR. ÖZGÜÇ GÜVEN
- Mantıksal ve matematiksel dedüksiyonun karşılaştırılması
Comparison of logical and mathematical deduction
MUTLU DEMİRAL
- Genelleştirilmiş yansıtan bariyerli ödüllü yenileme sürecinin asimptotik yöntemlerle incelenmesi
Investigation of the renewal reward process with generalized reflecting barrier by asymptotic methods
BAŞAK GEVER
Yüksek Lisans
Türkçe
2011
Endüstri ve Endüstri MühendisliğiTOBB Ekonomi ve Teknoloji ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. TAHİR KHANİYEV
PROF. DR. İ. BURHAN TÜRKŞEN
- Proof of the theorem on concept lattices in Isabelle / HOL
Kavram örgüleri hakkında temel teoremin Isabelle / HOL'da ispatı
BARIŞ SERTKAYA
Yüksek Lisans
İngilizce
2003
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. HALİT OĞUZTÜZÜN
YRD. DOÇ. ANDREAS TİEFENBACH
- On the role of diagonalization in Gödel's incompleteness and Tarski's theorems
Gödel ve Tarski teoremlerinde köşegenleştirmenin rolü üzerine
MEHMET BUDAK
Yüksek Lisans
İngilizce
2010
MatematikBoğaziçi ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. ALİ KARATAY
PROF. DR. ALP EDEN