«soft-question» etiketlenmiş sorular

Bu bir şeyin ruhunda, bir şeyi ne yaptığınızı, neden yaptığınızı ve nelerin çalışmadığını takip etmenin önemli olduğunu düşündüğüm bir soru . Kişisel olarak bu amaçla dizüstü bilgisayarları kullanıyorum, ancak birkaç dezavantajı var: ilk önce çok fazla depolama yüzeyine ihtiyacım var, ikincisi seyahat ettiğimde verilerime erişemiyorum ve son olarak bu işbirlikçi …

16 soft-question  research-practice 

Bilgisayarlarla ilgili bazı kitaplar buluyorum ama hepsi teknoloji ile ilgili. Teoriyle daha bağlantılı bir şey istiyorum.

15 reference-request  soft-question  philosophy 

Matematik yüksek lisans öğrencisiyim ve teorik bilgisayar bilimi, ne hakkında olduğunu hiç anlamadığım bir alan çünkü konu hakkında iyi bir okuma bulamadım. Bu alanın aslında ne hakkında olduğunu, ne tür konularla ilgilendiğini, içine girmek için hangi ön koşulların gerekli olduğunu vb. Bilmek istiyorum. Şimdilik sadece bilmek istiyorum: Teorik bilgisayar bilimine …

15 reference-request  soft-question  books 

Tamamen soyut bir matematik / hesaplamalı akıl yürütme bakış açısıyla, 3-SAT, Altküme Toplamı, Seyahat Eden Satıcı vb. Onları sadece işlevsel bakış açısıyla anlamlı bir şekilde aklımızdan çıkartabilir miyiz ? Hatta mümkün olabilir mi? Bu soruyu, lambda hesabı hesaplama modelini öğrenmenin bir parçası olarak tamamen kendi kendini sorgulama noktasından alıyorum. Bunun …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

AFAIK, Yüksek mertebeden fonksiyonlar kullanmanın ilk kanıtı Schönfinkel'in 1924 tarihli makalesine geri dönüyor: "Matematiksel Mantıkın Yapı Taşlarında" - birisinin işlevleri diğer işlevlere argüman olarak geçirmesine izin verdi. İlginç görünüyor. Ancak, çalışmaları hakkında okuduğum her şey (ve Curry'nin uzantısıyla) bir şekilde veya başka bir şeyle ilgili gibi görünüyor: [üst düzey fonksiyonlar] …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Larry Wasserman'ın "p-değer polisi" hakkında konuştuğu yeni bir görevi var. İlginç bir noktaya işaret ediyor (tüm vurgu benim) (eklediğim italiklerin öncülü ve altındaki cevabı): En yaygın şikayet, fizikçilerin ve gazetecilerin p değerinin anlamını yanlış açıkladığıdır. Örneğin, p değeri 0.000001 ise, “sinyalin gerçek olduğuna dair% 99.9999 güven vardır” gibi ifadeler göreceğiz. …

15 ds.algorithms  soft-question  big-list 

Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Sorum genel bir soru: Algoritma Tasarım ve Karmaşıklık açısından düşünmeye nasıl başlayabilirim? Algoritma Tasarımı üzerine Yüksek Lisans Dersi alacağım. Daha önce kayıt olmuştum ama daha sonra bıraktım çünkü yetişemedim. Bu dersi zorunlu olarak almak zorundayım. Bu şekilde düşünmek için bir 'hile' var mı? Bunun oldukça kabaca koyduğunu biliyorum, ancak bazen …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Her zaman P ve NP sorusu için ya da aleyhine deneysel matematikten elde edilen sayısal kanıtların olmaması beni şaşırttı. Riemann Hipotezi'nin sayısal doğrulamadan bazı destekleyici kanıtları olsa da, P ve NP sorusu için benzer kanıtların farkında değilim. Ayrıca, kararsız problemlerin (veya hesaplanamayan fonksiyonların) varlığının doğrudan fiziksel dünya sonuçlarının farkında değilim. …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Lisans bilgisayar bilimleri öğrencisiyim ve şu anda mezuniyet projemi planlıyorum. Kuantum hesaplama alanında bazı fikirlere ihtiyacım var. herhangi bir yardım?

15 quantum-computing  soft-question 

STOC gibi bir konferansta ele alınan konular düşünüldüğünde, herhangi bir algoritma veya karmaşıklık araştırmacısı aktif olarak COQ veya Isabelle kullanıyor mu? Eğer öyleyse, araştırmalarında nasıl kullanıyorlar? Çoğu insanın bu araçları kullanamayacağını düşünüyorum, çünkü kanıtlar çok düşük düzeydedir. Bu kanıt asistanlarını, güzel bir ekin aksine araştırmaları için kritik bir şekilde kullanan …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Oldukça yetkin bir yazılım mühendisiyim, ancak fazla teori bilmiyorum. Daha fazla teori öğrenmek istiyorum. İlgilendiğim özel konular: hesaplama karmaşıklığı, biçimsel diller ve tür teorisi. Fakat bu alanları öğrenmeye nasıl başlayacağım konusunda kayboluyorum. Kendi kendine çalışma yoluyla daha fazla teori öğrenmek isteyen birine hangi kaynakları önerirsiniz? Yazılım mühendisleri için herhangi bir …

14 soft-question  teaching  books 

Arkaplan : Matematik yüksek lisans derecemin sonuna geliyorum ve Ağustos ayında Mantık doktora programına başlayacağım. Daha fazla mantık çalıştığımda, daha fazla teorik bilgisayar bilimine maruz kalıyorum, örneğin özyineleme teorisi, lambda hesabı, ancak altta yatan CS, halının altında fırçalanıyor. Başlıca ilgi alanlarım - belirlenmiş teori ve kategori teorisi - bilgisayar bilimlerinde …

14 reference-request  soft-question 

hesaplama karmaşıklığı büyük miktarda Kombinatorik ve sayı teorisi, stokastiklerden bir miktar ingriding ve yükselen bir cebir içerir. Bununla birlikte, bir analiz uzmanı olarak, bu alanda analiz uygulamaları mı yoksa analizden ilham alan fikirler mi olduğunu merak ediyorum. Biraz buna karşılık gelen tek bildiğim, Sonlu gruplar üzerindeki Fourier dönüşümüdür. Bana yardım …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Akademi dışında 'güçlerimin' faydaları nelerdir? Makaleleri öğretmek ve yayınlamaktan başka ne yapabilirim? Güçlerimi nereye uygulayabilirim? Tartışma uğruna: Lütfen algoritmalarda / TCS'de doktora yaptığımı ve çok sayıda 'şey' öğrendiğimizi ve mevcut algoritmalar vb. , yaklaşık / rasgele algoritmalar, matematiksel programlama vb. Sorunun ardındaki gerekçe: Bu alandaki insanlar için akademik olmayan kariyer …

13 soft-question  big-picture  career