-
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
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 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?
Najnowsze wątki
- 2025-04-01 Telefonia VoIP
- 2025-04-01 Na miejscu zginelo dwóch którzy przewozeni byli w bagazniku.
- 2025-04-01 Darmowa autostrada
- 2025-04-01 Sprzedaję Twizy
- 2025-04-01 [OT] Dobry dysk na komornika i rozwody
- 2025-04-01 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-04-01 Gdynia => Sales Executive / KAM <=
- 2025-04-01 Kraków => Technical Team Lead (Clojure, Java) <=
- 2025-04-01 Warszawa => Junior Account Manager <=
- 2025-04-01 Mini Netykieta Polskich Grup Dyskusyjnych wer. 3.6.12
- 2025-03-31 Kraków => IT Expert (Network Systems area) <=
- 2025-03-31 Białystok => NMS System Administrator <=
- 2025-03-31 Częstochowa => Product Manager - Systemy infrastruktury teleinformaty
- 2025-03-31 Sąd/Sędzia odrzuca wniosek o 30d aresztu Ziobry i jedzie po PO-Komisji Sroki [i Ziobrze w GW wersji]
- 2025-03-31 Warszawa => Sales Executive / KAM <=