«mathematical-foundations» etiketlenmiş sorular

Herhangi bir hata yapmadan matematiksel kanıtları yazmayı, hata yapmayan bir bilgisayar programı yazmayı çok daha kolay bulduğumu fark ettim. Görünüşe göre bu benim deneyimimden daha yaygın bir şey. Çoğu insan programlarında sürekli yazılım hataları yapar ve her zaman hatanın ne olduğunu söyleyen derleyicileri vardır. Büyük bir bilgisayar programı yazan ve …

190 correctness-proof  mathematical-foundations  philosophy 

Önkoşullar hakkında başka bir soru sorduğum için özür dileyebilir, ama başlangıç ​​noktaları hakkında kafam karıştı. "Modal Mantık", "Geçici mantık", "Birinci dereceden Mantık", "İkinci dereceden Mantık" ve "Yüksek dereceden mantık" gibi çeşitli terimlerle karşılaştım. Bu bağlamda "Mantık" tam olarak ne anlama geliyor? "Mantık" kelimesini titizlikle nasıl tanımlarız? Birkaç kitabın başlangıç ​​sayfalarından …

36 logic  mathematical-foundations 

Verilerin "yapısının" tamamen Boole Cebirine bağlı olduğunu biliyorum, ancak: Veriler neden sürekli bir değil, ayrı bir matematiksel varlık olarak kabul edilir? Bununla ilgili: Verilerin boyutlarında sürekli bir varlık olarak yapılandırılmasında ihlal edilen sakıncalar veya değişmezler nelerdir?rrr Ben bir matematik öğrencisi olduğum için bu alanda uzman değilim, o yüzden birisi bana …

35 data-structures  mathematical-foundations 

Bu naif ve bu nedenle, muhtemelen yanlış biçimlendirilmiş bir soru, şimdiden özür dileriz! Benim görüşüme göre, bir Turing Makinesi, işlemsel / zorunlu programlama dilleri için hesaplama temeli olarak görülebilir. Benzer şekilde, lambda matematiği, fonksiyonel programlama dilleri için temeldir. Son zamanlarda Kilise Turing Tezi'nin de üçüncü bir hesaplama modeliyle karşılıklı denklik …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Matematik eğitimi almak için büyük bir tutkuya sahip üniversite düzeyinde bir Bilgisayar Bilimleri öğrencisiyim. Bilgisayar Bilimi veya Teorik Bilgisayar Bilimi'nin Matematik ve Mantık'ın doğrudan bir dalı olduğuna ve ayrıca Bilgisayar Bilimi derecesinin her zaman Matematik odaklı olması gerektiği görüşüne inancım tamdır. Yanlışım varsa lütfen düzelt. Ben açıkçası her olarak samimi …

15 mathematical-foundations 

Bilgisayar bilimi materyallerini (esas olarak makine öğrenimi) anlamaya yardımcı olmak için Doğrusal Cebir ve Uygulamalarını okuyorum , ancak birçok bilginin CS için yararlı olmadığından endişeliyim. Örneğin, yeni bir denklem çözücü programlamaya çalışmadığınız sürece lineer denklem sistemlerinin verimli bir şekilde nasıl çözüleceğini bilmek çok yararlı görünmüyor. Ayrıca, bir matrisin tersi olduğunda, …

15 education  linear-algebra  didactics  mathematical-foundations 

bir dizi değer verildiğinde , log base Shannon Entropy gelir . Anladığım kadarıyla, taban Shannon Entropy yuvarlanmış, değerlerden tek bir tanesini temsil etmek için ikili sayıdaki minimum bit sayısıdır.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Bu wikipedia sayfasındaki girişten alınmıştır: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Peki, üç değer bir bit ile nasıl temsil edilebilir? olabilir , olabilir ; ama nasıl …

14 information-theory  mathematical-foundations  entropy  binary 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 2 yıl önce kapalı . Genelde matematikçi veya matematik geçmişine sahip bilgisayar programcıları algoritma ve genel olarak bilgisayar programlama açısından çok iyidir. …

14 mathematical-foundations 

Bu soru, her matematiksel teoremin tek bir Turing makinesinin durup durmadığı sorusuna indirgenip indirilemeyeceği ile ilgilidir. Özellikle, şu anda kanıtlanmamış varsayımlarla ilgileniyorum. Örneğin: Vikipedi diyor herhangi garip mükemmel sayılar olup olmadığını şu anda bilinmeyen olduğunu. Belirli bir sayının mükemmel olup olmadığına karar verilebildiğinden, her bir tek sayıyı sırayla kontrol eden …

11 formal-languages  computability  mathematical-foundations 

Şu anda Markov zincirinin topaklanmasıyla ilgili bazı makaleler okuyorum ve bir Markov zinciri ile düz yönlendirilmiş ağırlıklı bir grafik arasındaki farkı göremiyorum. Örneğin , Markov zincirlerinde optimum durum-boşluk toplaması makalesinde bir CTMC (sürekli zaman Markov zinciri) tanımını sağlarlar: Sonlu bir CTMC'yi düşünüyoruz (S,Q)(S,Q)(\mathcal{S}, Q) devlet alanı ile S={x1,x2,…,xn}S={x1,x2,…,xn}\mathcal{S} = \{x_1, …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains