|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
RSS
Warto przeczytać: W dniach 8 - 9 września 2011 r. w Warszawie, Polska, odbędzie się konferencja pt. "Żywność i żywienie w XXI wieku".
Bio-gospodarka obejmuje cały wachlarz ekosystemów - zasoby lądowe i morskie, bioróżnorodność i materiały biologiczne (roślinne, zw... W dniach 19 - 21 września 2011 r. w Warszawie, Polska, odbędzie się konferencja poświęcona badaniom na rzecz bezpieczeństwa pt. "Security research conference".
Konferencja organizowana pod auspicjami Polskiej Prezydencji w Radzie UE posłuży za ... W dniach 28 sierpnia - 1 września 2011 r. w Warszawie, Polska, odbędzie się 14. międzynarodowy kongres nt. badań nad promieniowaniem.
Program naukowy wydarzenia obejmie wszystkie główne dyscypliny współczesnych badań nad promieniowaniem jonizującym i niejonizującym, w tym... Dnia 3 listopada 2011 r. w Warszawie, Polska, odbędą się pierwsze warsztaty partnerów projektu Habeat.
W czasie wydarzenia zaprezentowany zostanie projekt Habeat (Nawyki żywieniowe dzieci) i zalecenia dotyczące działań na rzecz poprawy nawyków żywieniowych dzi... W dniach 20 - 21 września 2011 r. w Warszawie, Polska, odbędzie się V Międzynarodowa Konferencja "Bezpieczeństwo dzieci i młodzieży w Internecie".
Konferencja adresowana jest do przedstawicieli i interesariuszy sektora edukacyjnego, organizacji pozarządowych, instytucji wymiaru sprawiedliwośc...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
Jan ŁukasiewiczCzy wiesz że...? Józef Franciszek Emanuel Innocenty Maria Bocheński, OP (ur. 30 sierpnia 1902 w Czuszowie, zm. 8 lutego 1995 we Fryburgu Szwajcarskim) – logik, historyk logiki i filozof, sowietolog, dominikanin (imię zakonne Innocenty). 27114 Lukasiewicz (1998 WG2) – planetoida należąca do zewnętrznej części pasa głównego asteroid okrążająca Słońce w ciągu 5 lat i 293 dni w średniej odległości 3,23 j.a. Została odkryta 19 listopada 1998 roku w Prescott Observatory przez Paula Combę. Nazwa planetoidy pochodzi od Jana Łukasiewicza - polskiego logika, matematyka i filozofa. Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów – niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5. Prof. Jan Łukasiewicz (ur. 21 grudnia 1878 we Lwowie, zm. 13 lutego 1956 w Dublinie) – polski logik, matematyk, filozof. ŻyciorysPiastował urząd ministra wyznań religijnych i oświecenia publicznego w rządzie Ignacego Paderewskiego (1919). Profesor uniwersytetów we Lwowie, Warszawie (uczestniczył w nauczaniu podziemnym) i Dublinie (od 1949 roku). Jeden z twórców polskiej szkoły matematycznej (szkoła lwowsko-warszawska). Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać.
Dedukcja to rodzaj rozumowania logicznego, mającego na celu dojście do określonego wniosku na podstawie założonego wcześniej zbioru przesłanek. Rozumowanie dedukcyjne w odróżnieniu od rozumowania indukcyjnego jest w całości zawarte wewnątrz swoich założeń, to znaczy nie wymaga tworzenia nowych twierdzeń czy pojęć, lecz jest tylko prostym wyciąganiem wniosków. Jeśli jest przeprowadzone poprawnie, zaś zbiór przesłanek nie zawiera zdań fałszywych, to wnioski wyciągnięte w wyniku rozumowania dedukcyjnego są nieodparcie prawdziwe i nie można ich zasadnie zakwestionować. Jego praca O zasadzie sprzeczności u Arystotelesa zapoczątkowała rozwój logiki matematycznej. Autor logiki trójwartościowej, pierwszego nieklasycznego rachunku logicznego, na bazie którego powstały m.in. logika modalna, logika probabilistyczna i logika rozmyta. Twórca notacji polskiej (1920), podstawy odwrotnej notacji polskiej, sposobu zapisu wyrażeń arytmetycznych szeroko stosowanego w informatyce do dnia dzisiejszego. Świat zna ten wynalazek pod nazwą Odwrotna Notacja Polska (Reverse Polish Notation). Zapis ten pozwala na całkowitą rezygnację z użycia nawiasów w wyrażeniach, jako że jednoznacznie określa kolejność wykonywanych działań. RPN jest używana w niektórych językach programowania (Forth, PostScript), w realizacji programowej arkuszy kalkulacyjnych i kompilatorów języków programowania oraz w kalkulatorach naukowych firmy Hewlett-Packard. Hewlett-Packard (HP, pełna nazwa: The Hewlett-Packard Company), NYSE: HPQ, to obecnie największa pod względem obrotów firma informatyczna świata. Producent m.in. komputerów osobistych, serwerów, drukarek i urządzeń poligraficznych oraz dostawca usług IT. W 1999 z HP wyodrębniono działy produkujące elektroniczny sprzęt pomiarowy,podzespoły oraz sprzęt medyczny i naukowy, formując osobną spółkę Agilent Technologies. W 2002 firma przejęła konkurenta Compaq Computer. W roku 2003 firma zatrudniała na całym świecie ok. 140 tys. osób.
Ignacy Jan Paderewski 1860 w Kuryłówce, zm. 29 czerwca 1941 w Nowym Jorku) – polski pianista, kompozytor, polityk, premier Polski, działacz niepodległościowy, profesor konserwatorium w Warszawie. Łukasiewicz zaproponował też podział rozumowań logicznych na dedukcyjne i redukcyjne (zamiast tradycyjnych indukcyjnych), który jednak nie przyjął się szerzej (z pewnymi wyjątkami, np. Józef Maria Bocheński). Pisma wybranePrzypisy
Zobacz teżLinki zewnętrzneRozumowanie redukcyjne (redukcja) - wyróżniony przez Jana Łukasiewicza rodzaj rozumowania logicznego. Według Łukasiewicza wszystkie metody dowodzenia podzielić można na dedukcyjne i redukcyjne. Rozumowanie indukcyjne, które większość autorów przeciwstawia dedukcji, jest przez Łukasiewicza traktowane jako szczególna postać redukcji.
Słowo filozofia (gr. φιλοσοφία, łac. philosophia) pochodzi (prawdopodobnie) od matematyka i filozofa Pitagorasa żyjącego w VI wieku p.n.e. Pierwotnie miało sens dosłowny i oznaczało poszukiwanie, umiłowanie mądrości lub posiadanie mądrości (gr. φιλέω phileo – kochać, σοφία sophia – mądrość). Obecnie terminu filozofia używa się w różnych znaczeniach. Trudno o jego definicję, gdyż zakres rozważań filozoficznych i ich metoda ulegały zmianom w historii, a rozumienie filozofii jest uzależnione od wielu czynników, w tym od przyjętej tradycji filozoficznej. W uproszczeniu można powiedzieć, że filozofia zajmuje się ogólnymi, podstawowymi zagadnieniami dotyczącymi natury świata i człowieka. Filozofowie rozważają kwestie natury istnienia, rozumienia bytu i rzeczywistości (ontologia, metafizyka, teoria bytu), poznawalności rzeczywistości i prawdy (epistemologia czyli teoria poznania), moralności, powinności i koncepcji wartości (etyka oraz aksjologia czyli teoria wartości), także zagadnienia dotyczące człowieka antropologia filozoficzna, a także kwestie społeczne, prawne, kulturowe, teologiczne i inne.
Czy wiesz że...? beta Odwrotna notacja polska (ONP, ang. Reverse Polish Notation, RPN) – jest sposobem zapisu wyrażeń arytmetycznych, w którym znak wykonywanej operacji umieszczony jest po operandach (zapis postfiksowy), a nie pomiędzy nimi jak w konwencjonalnym zapisie algebraicznym (zapis infiksowy) lub przed operandami jak w zwykłej notacji polskiej (zapis prefiksowy). Zapis ten pozwala na całkowitą rezygnację z użycia nawiasów w wyrażeniach, jako że jednoznacznie określa kolejność wykonywanych działań.
Indukcja (łac. inductio - wprowadzenie) - typ rozumowania redukcyjnego określany jako wnioskowanie "od szczegółu do ogółu", tj. wnioskowanie z prawdziwości racji (wniosków w szerokim znaczeniu tego słowa) o prawdziwości następstw (przesłanek w szerokim znaczeniu tego słowa), przy czym bardziej złożone niż prosta indukcja enumeracyjna niezupełna typy indukcji przy pewnych interpretacjach stanowią rozumowania dedukcyjne. W odróżnieniu od rozumowania dedukcyjnego indukcja enumeracyjna niezupełna stanowi rozumowanie zawodne, tj. takie, w którym prawdziwość przesłanek nie gwarantuje pewności wniosku. Głównymi postaciami indukcji są indukcja enumeracyjna niezupełna, indukcja enumeracyjna zupełna, indukcja eliminacyjna i indukcja statystyczna - indukcja matematyczna jest natomiast uznawana za specyficzne rozumowanie dedukcyjne.
Szkoła lwowsko-warszawska – założona przez Kazimierza Twardowskiego pod koniec XIX wieku we Lwowie i rozwijana dalej przez jego uczniów również w Warszawie szkoła filozoficzna; najbardziej znacząca szkoła w historii filozofii polskiej[potrzebne źródło] i liczący się w swoim czasie na świecie ośrodek myśli filozoficznej i logicznej.
Warszawa (miasto stołeczne Warszawa) (wymowa ?/i) – stolica i największe miasto Polski, położone w środkowo-wschodniej części kraju, na Mazowszu nad Wisłą.
Notacja polska, zapis przedrostkowy, Notacja Łukasiewicza – sposób zapisu wyrażeń logicznych (a później arytmetycznych), podający najpierw operator, a potem operandy (argumenty). Został przedstawiony w 1920 roku przez polskiego filozofa i logika Jana Łukasiewicza. Różniła się ona od zapisów nawiasowych używanych, m.in., przez klasyczne dzieło formalizmu logicznego Principia Mathematica Bertranda Russella i A. N. Whiteheada. Wg Jana Woleńskiego, notacja ta pozwala na łatwiejsze przeprowadzanie operacji na formułach o znacznej długości; formuły krótsze wydają się bardziej "intuitywne".
Logika rozmyta (ang. fuzzy logic), jedna z logik wielowartościowych (ang. multi-valued logic), stanowi uogólnienie klasycznej dwuwartościowej logiki. Została zaproponowana przez Lotfi Zadeha, jest ściśle powiązana z jego teorią zbiorów rozmytych. W logice rozmytej między stanem 0 (fałsz) a stanem 1 (prawda) rozciąga się szereg wartości pośrednich, które określają stopień przynależności elementu do zbioru.
Forth jest językiem programowania wysokiego poziomu, lecz równocześnie należy do kategorii języków tzw. bliskich sprzętowi, czasem (potocznie) używa się określenia asemblerowy język programowania wysokiego poziomu. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |