-
Data: 2017-08-11 11:40:09
Temat: Re: Rust
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> > Ciekawszym tematem jest napisanie programu, np. w C, do sprawdzania poprawności
innego programu, np. w C.
>
> Dlaczego? Na MT też można napisać program w C, jakie różnice masz
> na myśli?
Różnice są takie, jak pomiędzy Computer Science a Software Engineering.
Computer Science mówi, że czegoś tam się w ogólności nie da zrobić na maszynie
Turinga a Software Engineering mówi, że coś szczególnego da się zrobić np. w C.
I to jest różnica pomiędzy teorią a praktyką (w temacie sprawdzania poprawności).
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 11.08.17 14:03 slawek
- 11.08.17 14:34 Maciej Sobczak
- 11.08.17 14:43 slawek
- 11.08.17 14:53 M.M.
- 11.08.17 14:55 slawek
- 11.08.17 15:15 M.M.
- 11.08.17 15:17 slawek
- 11.08.17 15:17 Tomasz Kaczanowski
- 11.08.17 15:27 slawek
- 11.08.17 20:55 k...@g...com
- 11.08.17 22:03 slawek
- 11.08.17 22:13 slawek
- 11.08.17 22:43 k...@g...com
- 12.08.17 07:04 slawek
- 12.08.17 07:25 slawek
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-06-10 wyobrazcie sobie ze
- 2024-06-10 malowanie samochodu
- 2024-06-10 News from Poland
- 2024-06-10 Czy na pewno będą CŁA na chińskie samochody?
- 2024-06-09 Dlaczego w Polsce sie nic nie udaje, na przykładzie niebieskiego lasera a teraz perskowitów
- 2024-06-09 Dlaczego w Polsce sie nic nie udaje, na przykładzie niebieskiego lasera a teraz perskowitów
- 2024-06-09 Wykrywanie przerwy w długim przewodzie zakopanym w ziemi.
- 2024-06-09 Czemu news.chmurka.nwt jest taki wolny?
- 2024-06-11 Funbox 3.0 zakres adresów DHCP
- 2024-06-11 Re: Funbox 3.0 zakres adresów DHCP
- 2024-06-09 Miernik szybkości netu
- 2024-06-11 Panele PV w pionie (prawie).
- 2024-06-11 czy ta grupa żyje?
- 2024-06-11 Warszawa => Senior React Native Developer <=
- 2024-06-11 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=