Istnieje wiele prób udowodnienia albo albo P ≠ N P , i oczywiście wiele osób myśli o tym pytaniu, mając pomysły na udowodnienie obu kierunków.P = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Wiem, że istnieją metody, które okazały się nieskuteczne, i prawdopodobnie jest więcej takich, które …
Czytałem ostatnio o rachunku Lambda, ale o dziwo nie mogę znaleźć wyjaśnienia, dlaczego nazywa się on „Lambda” lub skąd pochodzi to wyrażenie. Czy ktoś może wyjaśnić pochodzenie tego terminu?
Omawiając dziś niektóre tematy wprowadzające, w tym wykorzystanie algorytmów genetycznych; Powiedziano mi, że badania naprawdę spowolniły w tej dziedzinie. Podany powód był taki, że większość ludzi koncentruje się na uczeniu maszynowym i eksploracji danych. Aktualizacja: czy to jest dokładne? A jeśli tak, jakie zalety ma ML / DM w porównaniu …
Podejmuję studia licencjackie w dziedzinie informatyki, ale jestem na wczesnym etapie i jestem prawie pewien, że będę zadowolony z mojego wyboru, biorąc pod uwagę, że wydaje się to być elastyczną edukacją akademicką i zawodową. To powiedziawszy, wydaje się, że istnieje wiele definicji tego, czym tak naprawdę jest informatyka w odniesieniu …
Właśnie zakończyła pierwszy rozdział Wprowadzenie do teorii obliczeń przez Michaela Sipser który wyjaśnia podstawy automatów skończonych. Definiuje zwykły język jako wszystko, co można opisać za pomocą automatów skończonych. Ale nie mogłem znaleźć, gdzie tłumaczy, dlaczego zwykły język nazywa się „zwykłym”. Jakie jest pochodzenie terminu „regularny” w tym kontekście? UWAGA: Jestem …
Zasadniczo mam świadomość trzech podstaw matematyki Ustaw teorię Teoria typów Teoria kategorii Więc w jaki sposób języki programowania i podstawy matematyki są powiązane? EDYTOWAĆ Pierwotne pytanie brzmiało: „Języki programowania oparte na podstawach matematyki” z dodanym paragrafem I implementacje teorii 1. Teoria typów w Coq 2. Teoria zbiorów w SETL 3. …
Przeważnie piszemy program w języku wysokiego poziomu. Podczas nauki natknąłem się na język asemblera. Asembler konwertuje język asemblera na język maszynowy, a kompilator robi to samo z językiem wysokiego poziomu. Odkryłem, że język asemblera zawiera instrukcje takie jak move r1 r3, move 5 itp. I raczej trudno się go uczyć. …
W teorii obliczalności funkcje obliczeniowe nazywane są również funkcjami rekurencyjnymi. Przynajmniej na pierwszy rzut oka nie mają one nic wspólnego z tym, co nazywasz „rekurencyjnym” w codziennym programowaniu (tj. Funkcjami, które same się nazywają). Jakie jest rzeczywiste znaczenie rekurencji w kontekście obliczalności? Dlaczego te funkcje nazywane są „rekurencyjnymi”? Innymi słowy: …
Kiedy duże O po raz pierwszy zastosowano w informatyce i kiedy stało się standardem? Strona Wikipedii na ten temat cytuje Knuth, Big Omicron i Big Omega And Big Theta , SIGACT kwiecień-czerwiec 1976 r., Ale na początku tego artykułu czytamy: Większość z nas przyzwyczaiła się do używania notacji dla dowolnej …
Próbuję dowiedzieć się, kto stworzył termin „uczenie maszynowe”. Dodatkowe pytanie brzmi: skąd Arthur Samuel cytował określenie „uczenia maszynowego” w 1959 r. Jako: dziedzina nauki, która daje komputerom możliwość uczenia się bez wyraźnego programowania ? W Internecie można znaleźć wiele odniesień do tej definicji, ale nie udało mi się wyśledzić źródła. …
Mam małe pytanie historyczne, a mianowicie, jak głosi tytuł, szukam wczesnych zastosowań drzew (jako struktury danych, drzewa wyszukiwania, cokolwiek) w informatyce.
Mówi się, że „Eugene Goostman”, program komputerowy opracowany w celu symulacji 13-letniego chłopca, zdołał przekonać 33% sędziów, że był człowiekiem, i tym samym zdał Test Turinga. Program komputerowy, znany również jako chatbot, udawał 13-letniego ukraińskiego chłopca, dla którego angielski był drugim językiem - coś zupełnie innego. Dla mnie Eugene brzmi …
To delikatne pytanie. Nie wiem dużo o kryptografii ani jej historii, ale wydaje się, że powszechnym zastosowaniem RSA jest wymiana kluczy poprzez szyfrowanie klucza symetrycznego w celu wysłania dłuższej wiadomości (np. Opis iMessage tutaj ). Czy nie do tego właśnie służy wymiana kluczy Diffie-Hellmana, która jest starsza (i wydaje mi …
W przełomowym dokumencie dotyczącym systemów rozproszonych The Part Time Parliament (protokół Paxos) Leslie Lamport wymienia fikcyjnych prawodawców, którzy są zaangażowani w protokół Parlamentu Paxon. Zgodnie z tym pismem zauważa, że: Nadałem greckim prawodawcom nazwiska informatyków pracujących w tej dziedzinie, w transliteracji z pomocą Guibasa na fałszywy grecki dialekt. Czy ktoś …
Korzystam z komputera cyfrowego, aby napisać tę wiadomość. Taka maszyna ma właściwość, która, jeśli się nad tym zastanowić, jest naprawdę niezwykła: jest to jedna maszyna, która przy odpowiednim zaprogramowaniu może wykonać dowolne możliwe obliczenia . Oczywiście kalkulatory tego rodzaju wracają do starożytności. Ludzie zbudowali maszyny, które wykonują dodawanie i odejmowanie …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.