Bilgisayar Bilimi

Dünyanın bazı yerlerinde, insanlar genellikle bilgisayarlara erişemezler (ve dolayısıyla çok az bilgi sahibi olurlar) ve sahip olsalar bile, donanım ve yazılımlar modası geçmiş ve elektrik kesintileri ve bu gibi kullanımlara zarar vermiştir. (İyi) kitaplara erişim de eksiktir. Bu koşullar altında bilgisayar bilimini nasıl öğretebilirim? Deneyler yapmadan ve öğrendiklerini uygulayamadan, inanılmaz …

21 education 

Ben bir üniversite öğrencisiyim ve şu anda Lambda Calculus üzerinde çalışıyoruz. Ancak, bunun neden benim için yararlı olduğunu anlamakta hala zorlanıyorum. İşlevsel programlamanın birçoğunu yaparsanız bunun yararlı olabileceğini anlıyorum, ancak fonksiyonel programlamayı öğrenmek için gerçekten gerekli olmadığını düşünüyorum, ne düşünüyorsunuz? İkincisi, Lambda Calculus'un Bilgisayar Bilimi alanında ama işlevsel programlama dillerinin …

21 lambda-calculus  functional-programming 

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 . Geçen yıl kapalı . Tam olarak: Yapay zekayı gerçekten öğrenmek istiyorum. Ancak Yapay Zekaya ne zaman atlamam gerektiği konusunda deneyimli CS adamlarından …

21 artificial-intelligence 

Biri iki hesaplama modelinin eşdeğer olduğunu nasıl kanıtlayabileceğine dair açıklama arıyorum. Bu konuda denklik kanıtı çıkarılmaması dışında kitap okuyorum. İki hesaplama modelinin eşdeğer olmasının ne anlama geldiğine dair temel bir fikrim var (otomata görünümü: aynı dilleri kabul ederse). Eşdeğerliği düşünmenin başka yolları var mı? Turing-makine modelinin lambda hesabına eşdeğer olduğunu …

21 proof-techniques  computation-models  simulation 

Tekdüze dağılımlı aralığında sayılar çıkaran rasgele bir ve aralığında düzgün dağılımlı rasgele sayılar .[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] ve eşit olarak bölmediğini varsayalım ; Bir almak için gerçekten homojen dağılımını kullanabileceğimiz ret örnekleme yöntemi:N RN&lt;RN&lt;RN < RNNNRRR Eğer büyük tamsayıdır gibi olduğuk N &lt; RkkkkN&lt;RkN&lt;Rk N < R …

21 probability-theory  randomness  random-number-generator  sampling 

Ağırlıklı bir grafiktir durumunda , iki farklı en az yayılan ağaçlar vardır ve , daha sonra bu doğrudur ki, herhangi kenar için de , kenarların sayısı aynı ağırlığı ile birlikte (dahil kendisi) kenarların sayısı ile aynıdır ile aynı olan ağırlık ? İfade doğruysa, bunu nasıl kanıtlayabiliriz?T 1 = ( V …

21 graph-theory  spanning-trees  weighted-graphs 

15 yaşında bir genç yetişkin için iyi bir başlangıç ​​bilgisayar bilimi kitabı nedir? CS'ye başlamak istiyorum, ancak nereden başlayacağımı bilmiyorum. Programlama konusunda sınırlı deneyimim var.

21 education  reference-request 

Cormen'in Algoritmalara Giriş kitabındaki materyallerin çoğunu bitirdim ve Corman'ın kitabının ötesindeki materyalleri kapsayan bir algoritma kitabı arıyorum. Herhangi bir öneriniz var mı? NOT: Bunu stackoverflow üzerinde sordum ama cevaptan çok memnun değildi. NOT: İdeal olarak düşündüğüm yorumların çoğuna baktığımda, bu ders tanımındaki 787 dersinin materyallerini kapsayacak bir kitap bulmak istiyorum …

21 algorithms  reference-request  books 

tamsayı dizisi A verildiğinde , i , j ve k olmak üzere üç indeks bulan , i &lt; j &lt; k ve A [ i ] &lt; A [ j ] &lt; A [ k ] olduğunu kanıtlamak veya çürütmek istiyorum. (veya böyle bir üçlü olmadığını bulur) doğrusal zamanda.AAAi,ji,ji, jkkki&lt;j&lt;ki&lt;j&lt;ki …

21 algorithms  arrays  subsequences 

Bildiğim kadarıyla, resmi eşzamanlılık modelleri hakkında geniş bir araştırma yelpazesine ilham veren üç ana işlem cebiri vardır. Bunlar: CCS ve hesabı hem Robin Milner tarafındanππ\pi Tony Hoare tarafından CSP ve ACP Jan Bergstra ve Jan Willem Klop tarafından Üçünün de bugüne kadar oldukça aktif bir takibi var gibi görünüyor ve …

21 logic  concurrency  process-algebras 

Şu anda lambda hesabı üzerinde okuduğum senaryoda beta eşdeğerliği şu şekilde tanımlanıyor: ββ\beta -denklik ≡β≡β\equiv_\beta içeren en küçük denklik olduğunu →β→β\rightarrow_\beta . Bunun ne anlama geldiği hakkında hiçbir fikrim yok. Birisi daha basit bir şekilde açıklayabilir mi? Belki bir örnekle? Kilise-Russer teoreminden sonra bir lemmaya ihtiyacım var, ≡β≡β\equiv_\beta↠ β↠β↠β\twoheadrightarrow_\beta↠β↠β\twoheadrightarrow_\beta

21 logic  terminology  lambda-calculus  type-theory 

~ 2004'ten bu yana Moore yasasının CPU saat hızı için çalışmayı bıraktığını biliyorum. Bunu gösteren bir grafik arıyorum, ama bulamıyorum: dışarıdaki çoğu grafik transistör sayısını veya yıllık kapasiteyi gösterir. Son birkaç yıldan bugüne bilgisayarların CPU sıklığını gösteren bazı verileri nerede bulabilirim (her şey yolunda, kişisel bilgisayarlar, sunucular, dizüstü bilgisayarlar, ...)? …

21 computer-architecture  empirical-research  data-sets 

Yuvalanmış, ancak kesinlikle olumlu bir yerde bazı yinelemeli olaylara sahip bir endüktif türü düşünün. Örneğin, çocukları depolamak için genel liste veri yapısı kullanan düğümlerle sonlu dallara sahip ağaçlar. Inductive LTree : Set := Node : list LTree -&gt; LTree. Ağaçlar ve ağaç listeleri üzerinde tekrarlayarak bu ağaçlar üzerinde özyinelemeli bir …

21 logic  coq  type-theory  recursion  proof-assistants 

Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir. İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Hesaplamalı karmaşıklık sınıflarını incelemek için olası bir motivasyon, farklı hesaplama kaynaklarının (rasgelelik, determinizm dışı, kuantum etkileri, vb.) Gücünü anlamaktır. Bu perspektiften bakarsak, bazı hesaplamalarda hangi hesaplamaların mümkün olduğunu karakterize etme girişimleri için bir makul aksiyom elde edebiliriz: Herhangi bir uygulanabilir hesaplama her zaman başka bir uygulanabilir hesaplamayı altyordam olarak çağırabilir. …

21 complexity-theory  oracle-machines