-
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-27 Kraków => Frontend Vue Developer <=
- 2025-02-27 Re: Zwolniony z IKEA za "wąty" przeciw firmowej promocji LGBT-IQ+ przywrócony do pracy - SN odrzucił kasacje (sygn. akt I PSK 62/24)
- 2025-02-27 Częstochowa => Manager ds. produktu <=
- 2025-02-27 Warszawa => Business Systems Analyst <=
- 2025-02-27 Nagranie poglądowe
- 2025-02-26 Zasilacz USB na ścianę.
- 2025-02-26 Błonie => Specjalista ds. public relations <=
- 2025-02-26 Zielonka => Team Lead / Tribe Lead FrontEnd <=
- 2025-02-26 Warszawa => Specjalista ds. Sprzedaży (transport drogowy) <=
- 2025-02-26 Białystok => Data Engineer (Tech Leader) <=
- 2025-02-26 Kraków => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-02-26 Kraków => Business Development Manager - Network and Network Security
- 2025-02-26 Warszawa => Młodszy Specjalista ds. wsparcia sprzedaży <=
- 2025-02-26 Białystok => Architekt rozwiązań (doświadczenie w obszarze Java, A
- 2025-02-26 Warszawa => Sales Assistant <=