DSpace Repository

ÇÖZÜMSÜZ MATEMATİK TEOREMLERİNDE BİLGİSAYAR HESAPLAMALI YÖNTEMLER VE COLLATZ KONJEKTÜRÜ

Show simple item record

dc.contributor.author ÖZKENAR, Mert
dc.date.accessioned 2023-06-12T11:01:44Z
dc.date.available 2023-06-12T11:01:44Z
dc.date.issued 2021
dc.identifier.uri http://hdl.handle.net/11547/9464
dc.description.abstract Bu tez çalışmasında, çözümsüz matematik teoremlerinde kullanılan bilgisayar hesaplamalı yöntemlerin neler olduğu ve collatz konjektürü ile hesaplama yöntemleri anlatılmıştır. Tez içerisinde temel bilimsel kavramlar ve ifadeler tüm ayrıntılarıyla açıklanmıştır. Çözümsüz matematik teoremlerinde yararlanılan bilgisayar hesaplamalı yöntemlere değinilmiştir. Teorem kanıtlama programları tüm yönleriye incelenmiş ve detaylandırılmıştır. Collatz konjektürüne dair kapsamlı araştırmalar ve çalışmalar yapılmış, tüm bilgilerin tezde yer alması amaçlanmıştır. Collatz konjektürünün hesaplanmasında kullanılacak üç farklı yöntem üzerinde çalışılmıştır. Her yöntem için metodolojiler oluşturulmuş, bilgisayar programları geliştirilmiş, sonuçlar bilgisayar çıktıları ve çıktılardan oluşan tablolar olarak paylaşılmış ve grafikler ile zenginleştirilmiştir. Collatz konjektürünün hesaplanmasına yönelik yöntemler karşılaştırılmış ve yöntem önerisinde bulunulmuştur. Üzerinde çalışılan yöntemlerin bilgisayar programları sayesinde etkinliği ve performansları ölçümlenmiştir. Önerilen yöntemin standart yönteme oranla daha başarılı olduğu yönünde bulgulara ulaşılmıştır. Collatz konjektürüne makine öğrenmesi ile yaklaşım geliştirilmiş ve çalışmalar yapılmıştır. Makine öğrenmesi özelinde bilgisayar programı geliştirilmiştir. Makine öğrenmesi metodolojisinde geliştirilen bilgisayar programı ile bilinmeyen değerlerin tahminlemesi yapılmıştır. Tüm çalışmalara ayrıntılı olarak tezin içerisinde yer verilmiştir. Tez çalışmasınında elde edilen yöntem özet değerleri ve karşılaştırma bilgileri, sonuç kısmında paylaşılmıştır. tr_TR
dc.language.iso tr tr_TR
dc.subject Collatz Konjektürü tr_TR
dc.subject Bilgisayar Hesaplamalı Yöntemler tr_TR
dc.subject Teorem Kanıtlama Programları tr_TR
dc.subject Bilimsel Kavramlar tr_TR
dc.subject HOL tr_TR
dc.subject LCF tr_TR
dc.subject ProofPower tr_TR
dc.subject Isabelle tr_TR
dc.subject e, Lothar Collatz tr_TR
dc.subject Dolu Taneleri tr_TR
dc.subject Problemi tr_TR
dc.subject Makine Öğrenmesi tr_TR
dc.subject Denetimli Öğrenme tr_TR
dc.subject Lineer Regresyon tr_TR
dc.title ÇÖZÜMSÜZ MATEMATİK TEOREMLERİNDE BİLGİSAYAR HESAPLAMALI YÖNTEMLER VE COLLATZ KONJEKTÜRÜ tr_TR
dc.type Thesis tr_TR


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account