Pytania oznaczone «history»

Pytania o genezę i rozwój informatyki jako dyscypliny naukowej i jej zastosowań.

27
Dlaczego potrzebujemy języka asemblera?

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...

15
Kim są ustawodawcy w Paxos?

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...

15
Dlaczego kompletność Turinga jest słuszna?

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ą...

11
Wnioskowanie o rodzajach uściślenia

W pracy miałem za zadanie wnioskować o pewnych typach informacji o dynamicznym języku. Przepisuję sekwencje instrukcji na letwyrażenia zagnieżdżone , tak jak poniżej: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T;...