«soft-question» etiketlenmiş sorular

Yumuşak bir soru, teorik bilgisayar bilimi alanında bir soru olmanın aksine, teorik bilgisayar bilimi alanı ile ilgili bir sorudur (muhtemelen öznel).

6
Bilgisayar Bilimleri Enstitüsü için Önerileri
Biraz tavsiye ve geri bildirim arıyorum. Arkaplan: Teorik bilgisayar bilimi (hesaplama karmaşıklığı, grafik teorisi, kombinatorik) ile ilgilenen bir lisans matematik öğrencisiyim. Bilgisayar Bilimi alanında doktora yapmak ve teoriye odaklanmak istiyorum. Geçmişim bilgisayar biliminin matematiksel olarak yoğun alanlarındadır, ancak bilgisayar bilimlerinde daha uygulamalı bir geçmişim yok. Özellikle bir Doktora programının ön …
3
Konferans bildirisi için olumsuz bir inceleme nasıl yazılır?
Bu, " Bir makaleyi nasıl hakem edebilirim? " Sorusuyla ilgilidir . Bir konferans için bir makaleyi inceliyorum ve bu makale reddedilmelidir, çünkü yayın için yeterince önemli değildir ve bazı teknik detaylarında kusurlar vardır. Kağıt yanlış değil, ancak doğru olduğu yollar çok ilginç değil. Bu tür ayarlarda nasıl olumsuz bir inceleme …
1
Martin-Löf'in sezgisel tip teorisi yaratmasına neden ihtiyaç duyuldu?
Sezgisel Tip Teorisi (ITT) hakkında okuyordum ve bu mantıklı. Ama anlamak için uğraştığım şey, ilk etapta "neden" yaratıldığı? Sezgisel Mantık (IL) ve Basitçe yazılmış - hesabı (STLC) ve genel olarak tip teorisi, Martin-Löf'ün kendisinin varlığından önce gelir! Görünüşe göre ITT'de yapılabilen her şeyi STLC'de yapabilirim (yanlış olabilirim, ama en azından …
1
Teorik bilgisayar bilimcileri için kariyer
Teorik bilgisayar bilimcilerinin (teorik bilgisayar bilimlerinde yüksek lisans derecesi olan kişiler) tipik kariyerleri nelerdir? Ne tür sanayi ve kurumlar teorik bilgisayar bilimi bilgisi arar? Teorik bilgisayar bilimcileri tipik olarak hangi kariyerlere bakarlar?
4
Teknik altyapısı olmayan programcılara kolayca açıklanabilen TCS'de ilginç sonuçlar
Bazı profesyonel programlama kursları (/ self düşünce) almış ancak üniversite düzeyinde bir matematik çalışmayan programcılar ile görüştüğünüzü varsayalım. Onlara TCS'nin güzelliğini göstermek için, TCS'den kolayca açıklanabilecek bazı güzel sonuçlar / açık sorular toplamak istiyorum. Bu amaç için iyi bir aday (IMHO), durma sorununun karar verilemez olduğunu gösterecektir. Başka bir karşılaştırma …
3
Her gönderimden sonra memnun kalmayın
Ben ince taneli karmaşıklık (3-SUM, OV ve her zamanki popüler sertlik varsayımları ile oynamak) üzerinde çalışan bir "ilk 20" üniversitede üçüncü sınıf mezunuyum. Geçen yıl oldukça üretken oldum ve kabul edilmiş 3 ve iki bildiri gönderdim. Bütün bunlar oldukça tecrübeli bir yüksek lisans öğrencisiyim ve anlatmak üzere olduğum şey anekdot …
2
Lambda hesabı, sezgisel hesaplanabilirlik kavramını tam olarak nasıl yakalar?
Başımı hesabının ne, neden ve nasıl sarmaya çalışıyordum ama "neden çalışıyor?"λλ\lambda "Sezgisel" Turing Machines (TM) hesaplanabilirlik modelini alıyorum. Ama bu soyutlama beni şaşırttı.λλ\lambda Diyelim ki TM'ler yok - o zaman hesabının bu hesaplanabilirlik kavramını yakalama yeteneği hakkında nasıl "sezgisel olarak" ikna edilebilir ? Her şey için bir grup fonksiyona sahip …
3
TCS'de
Ben teorik bir bilgisayar bilimcisi değilim. -categories kullanan istikrarlı bir homotopi teorisyeniyim . Kategori teorisi ve topos teorisinin teorik bilgisayar bilimlerine uygulamaları olduğunu gördüm ve teorik bilgisayar bilimlerinde kişinin kategorilerini (ve tercihen benim için istikrarlı homotopi teorisini) kullanmanın herhangi bir yolu olup olmadığını merak ediyordum . HoTT'nin böyle bir uygulama …
7
Kontrol teorisi ve teorik bilgisayar bilimi arasındaki disiplinler arası konular
Ben isterdim rağmen TCS ile çok fazla ilgili olmayan bir MSc benim ikinci yılında. Temel olarak kontrol teorisi, sinyaller ve sistemler hakkında ve gelişmiş sistemlerde (sağlam, doğrusal olmayan, optimal, stokastik), gelişmiş sinyal işleme ve dışbükey optimizasyon dersleri aldım. Tez yazım ile başa çıkmak için iyi bir alan bulmaya çalışıyorum ve …
4
Nasıl daha “teori düşünen” olunur?
Bunun için özür dilerim, kapalı, doğru cevabı olmayan yumuşak bir soru. Bu muhtemelen sorumu sormak için en iyi forum. ABD'de en iyi 15 okulun teori grubunda üçüncü sınıf mezunuyum . Şimdiye kadar, iyi iş yapıyordum. Şu ana kadar bir ilk yazar teori kağıdım ve bir ilk yazar pratik makalem var. …
1
Günlük sürümünde konferans kağıdı hatasını düzeltme
Bir konferans makalesinde, bir sorunun kanıtlamak için , aptalca bir cümle yazdım. "Sorunun içinde olduğu -hard ". Aslında, hiç net değildi. Hatta açık bir sorun gibi görünüyor. Hedef kitle için bu büyük bir mesele değildir çünkü ana sonuç sertliği ve dolayısıyla bir polinom algoritması tasarlamanın imkansızlığı "zorluğu" dur .N P …
1
Dergiler TCS topluluğuna nasıl hizmet eder?
Geçmişte, dergiler bilimsel / matematiksel keşiflerin yaygınlaştırılması ve incelenmesinin ana yoluydu. Bazı bölgelerde hala öyleler. Bununla birlikte, (teorik) bilgisayar biliminde bu rol neredeyse tamamen konferanslar ve açık web tabanlı yayılım (örneğin arxiv veya kişisel ana sayfalar) tarafından gerçekleştirilir. Hala TCS dergileri var ( ToC ve JACM gibi ), ancak öncelikle …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.