|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Kiedy szukamy obiektów w danej przestrzeni, na ogół pomijamy te, które już wcześniej spostrzegliśmy, koncentrując uwagę na nowych dla nas przedmiotach i obszarach. Mechanizm ten, określany jako tzw. hamowanie powrotu (ang. inhibition of return, IOR), umożliwia osobie przeszukującej p... Aż 70 proc. Polaków słyszało o mukowiscydozie, rzadkiej chorobie uwarunkowanej genetycznie, na którą w naszym kraju leczy się ok. 1400 osób. Takie wyniki uzyskano w najnowszym badaniu wykonanym na zlecenie Fundacji Pomocy Rodzinom i Chorym na Mukowiscydozę - MATIO... O wykorzystaniu szumów morza w badaniach i obserwacjach zjawisk fizycznych i życia we wszechoceanie opowie 21 czerwca w Centrum Badań Kosmicznych Polskiej Akademii Nauk w Warszawie prof. Zygmunt Klusek z Instytutu Oceanologii PAN w Sopocie.Szumy morz... Człowiek podczas egzaminu czy rozmowy kwalifikacyjnej może odczuwać większy chłód niż podczas spotkań towarzyskich - wynika z badań studentek psychologii z sopockiego wydziału Szkoły Wyższej Psychologii Społecznej.Jak informuje na swojej stronie SWPS, studentki sprawdziły,... Popularność "zakupów grupowych" w Polsce wynika w dużej mierze z tradycji targowania się. "Przez wiele lat żyliśmy w kulturze łapania okazji: jeżeli coś jest tańsze to kupujemy, bo potem tego nie będzie" - powiedziała PAP dr Julita Koszur z SWPS.W...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 LematCzy wiesz że...? Lemat Königa to lemat mówiący o tym, że jeśli drzewo jest nieskończone, a każdy węzeł ma skończoną liczbę dzieci, to musi istnieć nieskończona gałąź. Lemat Lindenbauma, jedno z twierdzeń metamatematycznych, zwane tradycyjnie "lematem". Sformułowane przez polskiego logika ze szkoły lwowsko-warszawskiej, Adolfa Lindenbauma. Ma ono szerokie zastosowanie w teorii modeli, m.in. w dowodach twierdzenia o pełności tzw. metodą henkinowską. Lemat – w matematyce twierdzenie pomocnicze, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń. Formalnie jednak każdy lemat jest pełnoprawnym twierdzeniem, a zaklasyfikowanie pewnego twierdzenia jako lematu wynika jedynie ze sposobu jego użycia w innym, obszerniejszym kontekście. Często zdarzało się, że lemat zyskiwał sobie o wiele większe znaczenie od pierwotnego, znajdując szersze zastosowanie i stając się w zasadzie samodzielnym twierdzeniem, którego nazwa wynika z uwarunkowań historycznych. Do twierdzeń tradycyjnie nazywanych lematami należą m.in.: Lemat Kuratowskiego-Zorna – jedno z podstawowych narzędzi dowodzenia twierdzeń, które stwierdzają istnienie pewnych obiektów w teorii mnogości i innych działach matematyki. W krajach anglosaskich bardziej znany jako Lemat Zorna. Oto jedno ze sformułowań lematu:
Lemat Bootha – zdanie teorii mnogości dotyczące nieskończonych rodzin podzbiorów zbiorów przeliczalnych o pewnych własnościach. Zdanie to jest niezależne od standardowych aksjomatów teorii mnogości, tzn. zdania tego nie można udowodnić na gruncie tych aksjomatów ani nie można go obalić. Jest ono oznaczane symbolami: Lemat Ogdena to uogólnienie lematu o pompowaniu dla języków bezkontekstowych. Służy do udowadniania, że dany język nie jest językiem bezkontekstowym.
Twierdzenie to sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest właściwym sądem, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.
Czy wiesz że...? beta Lemat Poincarégo – jedno z najważniejszych twierdzeń teorii form różniczkowych, zwyczajowo zwane lematem. Twierdzenie zostało sformułowane przez Henri Poincarégo.
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.
Lemat o pompowaniu dla języków bezkontekstowych to twierdzenie służące do udowadniania, że dany język nie jest bezkontekstowy. Jego uogólnieniem jest lemat Ogdena. 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. |
