Pytania otagowane jako mathematical-foundations

Pytania o związek (poddziedziny) informatyki z odpowiednimi podstawami matematycznymi i ich zastosowanie.

29
Dlaczego zapisywanie dowodów matematycznych jest bardziej odporne na błędy niż pisanie kodu komputerowego?
Zauważyłem, że o wiele łatwiej jest mi zapisać matematyczne dowody bez popełniania błędów niż napisać program komputerowy bez błędów. Wydaje się, że jest to coś bardziej rozpowszechnionego niż tylko moje doświadczenie. Większość ludzi cały czas popełniają błędy w oprogramowaniu i mają kompilator, który cały czas mówi im, jaki jest błąd. …
3
Czym dokładnie jest logika?
Być może należałoby przeprosić za zadanie kolejnego pytania na temat warunków wstępnych, ale byłem zdezorientowany co do punktów wyjścia. Spotkałem różne terminy, takie jak „logika modalna”, „logika czasowa”, „logika pierwszego rzędu”, „logika drugiego rzędu” i „logika wyższego rzędu”. Co dokładnie oznacza „logika” w tym kontekście? Jak rygorystycznie definiujemy słowo „logika”? …
11
Dlaczego dane w informatyce są uważane za dyskretne?
Rozumiem, że „struktura” danych jest całkowicie zależna od Algebry Boolean, ale: Dlaczego dane są uważane za dyskretny byt matematyczny, a nie ciągły? Powiązane z tym: Jakie wady lub niezmienniki są naruszane w strukturze danych jako ciągłej jednostki w wymiarach ?rrr Nie jestem ekspertem w tej dziedzinie, ponieważ jestem studentem matematyki …
2
Czy jakieś języki programowania wykorzystują ogólne funkcje rekurencyjne jako podstawę?
To naiwne i dlatego prawdopodobnie źle sformułowane pytanie, więc z góry przepraszamy! Moim zdaniem maszynę Turinga można postrzegać jako podstawę obliczeniową dla proceduralnych / imperatywnych języków programowania. Podobnie, rachunek lambda jest podstawą funkcjonalnych języków programowania. Niedawno dowiedziałem się, że teza Churcha-Turinga wykazuje również wzajemną równoważność z trzecim modelem obliczeń: ogólnymi …
6
Co dokładnie odróżnia informatykę od matematyki w kontekście teoretycznym?
Jestem studentem informatyki na poziomie uniwersyteckim, który ma wielką pasję do studiowania matematyki. Jestem głęboko przekonany, że informatyka lub teoretyczna informatyka jest bezpośrednią gałęzią matematyki i logiki, a także jestem zdania, że ​​stopień informatyki zawsze musi być zorientowany na matematykę. Proszę, popraw mnie jeśli się mylę. Szczerze mówiąc, uważam, że …
6
Jakie części algebry liniowej są używane w informatyce?
Czytam Algebrę liniową i jej aplikacje, aby pomóc w zrozumieniu materiałów informatycznych (głównie uczenia maszynowego), ale martwię się, że wiele informacji nie jest użytecznych dla CS. Na przykład wiedza o tym, jak skutecznie rozwiązywać układy równań liniowych, nie wydaje się bardzo przydatna, chyba że próbujesz zaprogramować nowy układ równań. Dodatkowo, …
3
Shannon Entropia 0,922, 3 odrębne wartości
Biorąc pod uwagę ciąg wartości , Shannon Entropy w bazie log wynosi . Z tego, co rozumiem, w bazie Entropia Shannona zaokrąglona w górę to minimalna liczba bitów w systemie binarnym, która reprezentuje jedną z wartości.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Zaczerpnięte ze wstępu na tej stronie Wikipedii: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Jak więc trzy wartości mogą być …
1
Tematy lub dziedziny matematyki, które zwiększają biegłość programowania komputerowego? [Zamknięte]
Zamknięte . To pytanie jest oparte na opiniach . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby można było na nie odpowiedzieć faktami i cytatami, edytując ten post . Zamknięte 2 lata temu . Zasadniczo programiści komputerowi, którzy są matematykami lub mają wykształcenie matematyczne, są bardzo dobrzy …
2
Przypuszczenia matematyczne równoważne zatrzymaniu maszyny Turinga
To pytanie dotyczy tego, czy każde twierdzenie matematyczne można sprowadzić do pytania, czy zatrzyma się pojedyncza maszyna Turinga. W szczególności interesują mnie przypuszczenia, które są obecnie niesprawdzone. Na przykład: Wikipedia mówi , że obecnie nie wiadomo, czy są jakieś nieparzyste liczby idealne. Ponieważ można rozstrzygnąć, czy dana liczba jest idealna, …
2
Jakie są łańcuchy Markowa?
Obecnie czytam kilka artykułów na temat wypychania łańcucha Markowa i nie dostrzegam różnicy między łańcuchem Markowa a zwykłym, ważonym wykresem. Na przykład w artykule Optymalne zbieranie przestrzeni stanu w łańcuchach Markowa podają następującą definicję CTMC (ciągły łańcuch Markowa w czasie): Rozważamy skończony CTMC z przestrzenią stanów według macierzy szybkości przejścia …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.