|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Niemieccy naukowcy opracowali teorię, która pozwala przewidywać pole magnetyczne zarówno planet jak i gwiazd. Symulacje komputerowe przeprowadzone przez zespół pokazują, że siła pola magnetycznego ciała niebieskiego zależy od ilości energii (w postaci np. ciepła lub św... Pierwszymi najprostszymi formami życia nie były bakterie lub wirusy, ale związki organiczne - aminokwasy lub ich zespoły - twierdzi prof. Maciej Pawlikowski z Pracowni Biomineralogii Wydziału Geologii, Geofizyki i Ochrony Środowiska AGH w Krakowie. Jego zdaniem, d... Czy naukowa teoria gier pozwoli lepiej zrozumieć, a w konsekwencji rozwiązać problem dręczenia w szkole? Taką nadzieję ma Agata Komendant-Brodowska z Instytutu Socjologii Uniwersytetu Warszawskiego, której badania zostały nagrodzone w programie stypendialnym "Dokt... W dniach 17 - 21 lipca 2011 r. w Linköping, Szwecja, odbędzie wydarzenie pt. "Powrót do strefy kontaktu - muzea, teoria, praktyka".
Muzea stanowią istotną część dziedzictwa kulturowego wszystkich krajów europejskich. Jako instytucje pozostały jednak skupione na państwie... Matematycy z Polski i innych krajów - m.in. z Francji, Niemiec, Estonii, Portugalii, Iranu, Nigerii - wezmą udział w IV Podlaskiej Konferencji Matematycznej, która odbędzie się w dniach 9-11 kwietnia w Białymstoku. Spotkanie organizuje Białostocki...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Logika matematycznaTo hasło encyklopedii posiada podstrony: 1 [2],[3] Czy wiesz że...? Austriacy - naród pochodzenia germańskiego zamieszkujący głównie Austrię oraz włoski region Trydent-Tyrol Południowy. Ich językiem ojczystym jest język niemiecki - na terenie Austrii występuje kilka dialektów języka niemieckiego, a w powszechnym użyciu jest odrębny wariant tego języka (język niemiecki w Austrii). Austriaków jest ponad 9 mln[potrzebne źródło]. Dominującym wśród nich wyznaniem jest katolicyzm. Współcześnie narodowość utożsamiana jest z obywatelstwem. Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver, Kanada) – polski matematyk zajmujący się głównie podstawami matematyki, przedstawiciel warszawskiej szkoły matematycznej. Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. Matematyka (. Ponieważ ścisłe założenia mogą dotyczyć najróżniejszych dziedzin myśli ludzkiej, a muszą być czynione w naukach ścisłych, technice a nawet w naukach humanistycznych, zakres matematyki jest szeroki i stale się powiększa.
Stanisław Mieczysław Mazur (ur. 1 stycznia 1905 we Lwowie, zm. 5 listopada 1981 w Warszawie) – polski matematyk, poseł na Sejm PRL I kadencji z ramienia PZPR (z okręgu Lublin). W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peano. Rys historycznyKorzenie logiki matematycznej tkwią w badaniach Gottfrieda Leibniza, ale jej burzliwy rozwój zaczął się w pierwszej połowie XIX wieku w wyniku prac George'a Boole'a i Augusta De Morgana nad algebraizacją logiki. Niektóre z ważniejszych wydarzeń w historii logiki matematycznej:
Niemcy (Republika Federalna Niemiec, RFN; do traktatu pomiędzy RFN a Polską Rzecząpospolitą Ludową (1970) w Polsce stosowana była oficjalnie nazwa Niemiecka Republika Federalna, NRF; niem.: Deutschland lub Bundesrepublik Deutschland, BRD) – państwo federacyjne położone w Europie, będące członkiem Unii Europejskiej (UE), Unii Zachodnioeuropejskiej (UZE), G8, ONZ oraz NATO. Stolicą Niemiec jest Berlin (przed połączeniem z NRD – Bonn, obecnie noszące tytuł miasta federalnego). Językiem oficjalnym jest język niemiecki. Zbiór formuł zdaniowych T danego języka pierwszego rzędu nazywamy teorią pierwszego rzędu (lub systemem dedukcyjnym) wtw T spełnia następujący warunek: czytaj dalej: [2], [3]
Czy wiesz że...? beta Kurt Gödel (1906-1978) – austriacki logik i matematyk; autor ważnych twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności bogatszych teorii dedukcyjnych (to znaczy takich, które obejmują arytmetykę liczb naturalnych).
Włochy (Republika Włoska, wł. Italia, Repubblica Italiana) – państwo położone w Europie Południowej, na Półwyspie Apenińskim, będące członkiem wielu organizacji, m.in.: UE, NATO, należące do ośmiu najbardziej uprzemysłowionych i bogatych państw świata – G8.
Lwowska szkoła matematyczna to grupa polskich matematyków pod przewodnictwem Stefana Banacha i Hugona Steinhausa, zamieszkałych we Lwowie i pracujących na wyższych uczelniach Lwowa w okresie przed II wojną światową.
prof. Kazimierz Kuratowski (ur. 2 lutego 1896 w Warszawie, zm. 18 czerwca 1980 w Warszawie), polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej.
Otton Marcin Nikodým (ur. 3 sierpnia 1887 w Zabłotowie koło Kołomyji, zm. 4 maja 1974 w Utica, Stany Zjednoczone) – polski matematyk uznany za wkład w rozwój teorii miary, analizy funkcjonalnej, równań różniczkowych i opisowej teorii mnogości. Jeden z założycieli Polskiego Towarzystwa Matematycznego w 1919.
Niesprzeczna teoria logiczna to taka, która nie zawiera sprzeczności. Brak sprzeczności można zdefiniować semantycznie albo syntaktycznie. Definicja semantyczna postuluje, że teoria jest niesprzeczna, jeśli posiada model. Odpowiada to pojęciu niesprzeczności w tradycyjnej logice Arystotelesa, aczkolwiek w dzisiejszej logice matematycznej używa się w zamian określenia spełnialności. Definicja syntaktyczna mówi, że teoria jest niesprzeczna, jeśli nie ma takiej formuły P, że zarówno P jak i jej zaprzeczenie można wyprowadzić z aksjomatów danej teorii za pomocą powiązanego z nią systemu dedukcji.
Topologia (gr. tópos – miejsce, okolica; lógos – słowo, nauka) – jeden z najważniejszych kierunków w matematyce współczesnej. Obiektem jej badań są te własności figur geometrycznych i brył, które nie ulegają zmianie nawet po radykalnym zdeformowaniu tych figur (a więc np. położenie i sąsiedztwo). Własności takie nazywa się własnościami topologicznymi figury. 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. |
