-
Data: 2012-06-06 16:31:57
Temat: Re: Czym jest programowanie?
Od: "slawek" <s...@h...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]
Użytkownik " M.M." <m...@g...pl> napisał w wiadomości grup
dyskusyjnych:jqnkia$ada$...@i...gazeta.pl...
> Co to jest Mizar?
Język programowania (?) pozwalający opisywać dowody twierdzeń matematycznych
w sensie formalnym. Jeżeli dowód jest poprawny logicznie wychodzi true,
jeżeli nie to false. Czyli, teoretycznie, jeżeli zapiszesz twierdzenie w
Mizar i wyjdzie true - to twierdzenie jest dowiedzione. Tu masz link:
http://pl.wikipedia.org/wiki/System_Mizar (zwróć uwagę, że to produkt
polski, sic!) Był kurs w Delcie.
> Nie wiem... masa jest równoważna energii, to może hardware jest równoważny
> software?
Jeżeli pamięć mnie nie myli, to ś.p. Lem twierdził, iż nieskończenie wielki
komputer potrzebuje zerowej zawiłości programu (aby działać)... i vice
versa.
Ale nie o to mi chodziło - po prostu jeżeli np. nie ma prądu i wyczerpały
się bateryjki... to jak siedzisz i rysujesz sobie diagramiki UML kijkiem na
piasku/w zeszycie... to zajmujesz się tworzeniem programu... czy też
zwyczajnie bimbasz?
Następne wpisy z tego wątku
- 06.06.12 16:41 Michoo
- 06.06.12 16:43 slawek
- 06.06.12 16:48 M.M.
- 06.06.12 16:52 slawek
- 06.06.12 16:57 slawek
- 06.06.12 17:07 AK
- 06.06.12 17:10 M.M.
- 06.06.12 17:11 Michoo
- 06.06.12 17:17 A.L.
- 06.06.12 17:21 kenobi
- 06.06.12 17:23 Michoo
- 06.06.12 17:46 M.M.
- 06.06.12 19:20 Edek Pienkowski
- 06.06.12 19:49 noma
- 06.06.12 20:32 Edek Pienkowski
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- 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??
Najnowsze wątki
- 2025-02-21 Warszawa => Key Account Manager IT <=
- 2025-02-21 Warszawa => Data Engineer (Tech Lead) <=
- 2025-02-21 Aliexpress zaczął oszukiwać na bezczelnego.
- 2025-02-21 Warszawa => System Architect (Java background) <=
- 2025-02-21 Kula w łeb
- 2025-02-21 Warszawa => System Architect (background deweloperski w Java) <=
- 2025-02-21 Warszawa => Solution Architect (Java background) <=
- 2025-02-21 Lublin => JavaScript / Node / Fullstack Developer <=
- 2025-02-21 Pawel S
- 2025-02-21 Warszawa => Key Account Manager (Usługi HR) <=
- 2025-02-21 Katowice => Senior Field Sales (system ERP) <=
- 2025-02-21 Chrzanów => Programista NodeJS <=
- 2025-02-21 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-02-21 Warszawa => Administrator Systemów Windows IT <=
- 2025-02-21 Wrocław => Specjalista ds. Sprzedaży (transport drogowy) <=