• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Augustus De Morgan

    Przeczytaj także...
    University College London (UCL) – część Uniwersytetu Londyńskiego, jest najstarszą spośród dwóch, pierwotnie odrębnych uczelni, obecnie wchodzących w skład Uniwersytetu Londyńskiego. W Wielkiej Brytanii UCL był pierwszym uniwersytetem o charakterze świeckim, w którym o przyjęciu na studenta oraz ocenach nie decydowały wyznanie, rasa oraz pochodzenie społeczne. Dewizą stale przyświecającą studentom i pracownikom jest (łac.) Cuncti adsint meritaeque expectent praemia palmae co można przetłumaczyć na Niech przybędą ci, którym wraz z zasługą należy się największa nagroda. Obecnie na UCL studiuje ponad 23 250 studentów i pracuje 9783 pracowników. UCL należy do elitarnej grupy uniwersytetów Russell Group oraz jest częścią Golden Triangle. UCL zatrudnia ponad 4000 pracowników naukowych i 650 profesorów, więcej niż jakikolwiek inny uniwersytet w Wielkiej Brytanii.Biblioteka Kongresu Stanów Zjednoczonych (ang.: Library of Congress) – największa biblioteka świata. Gromadzi ponad 142 mln różnego rodzaju dokumentów, ponad 29 mln książek, 58 mln rękopisów, 4,8 mln map i atlasów, 12 mln fotografii, 6 mln mikrofilmów, 3,5 mln dokumentów muzycznych, 500.000 filmów; wszystko w ponad 460 językach. 7% zbiorów to dokumenty w językach słowiańskich, w tym największy w USA zbiór polskich książek. Całość zajmuje 856 km półek. Biblioteka dysponuje (w 3 budynkach) 22 czytelniami ogólnymi, 3 wydzielonymi czytelniami dla kongresmenów oraz biblioteką sztuki (John F. Kennedy Center). Zatrudnia 5 tysięcy pracowników. Wyposażona jest w system komputerowy o pojemności 13 mln rekordów oraz w 3000 terminali. Pełni funkcję biblioteki narodowej.
    Londyn (ang. London) – miasto w południowo-wschodniej części Wielkiej Brytanii, stolica tego państwa, a także stolica Anglii.
    Augustus De Morgan

    Augustus De Morgan (ur. 27 czerwca 1806 w Maduraju, zm. 18 marca 1871 w Londynie) – angielski matematyk i logik.

    Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).Maduraj (tamil. மதுரை, hind. मदुरै, transkrypcja madurai) – miasto w południowej części Indii, w stanie Tamilnadu, nad rzeką Wajhaj (uchodzi do cieśniny Palk), stolica dystryktu Madurai. Około 1,2 mln mieszkańców.

    Studiował w Cambridge. W latach 1828–1831 i 1836–1866 był profesorem matematyki w londyńskim University College. Zajmował się głównie logiką formalną i teorią szeregów – badając sylogistykę jako jeden z pierwszych doszedł do podstawowej problematyki algebry logiki i teorii relacji. Zwrócił uwagę na prawa nazwane później od jego nazwiska prawami De Morgana.

    University of Cambridge (nieformalnie: Cambridge University, po polsku Uniwersytet Cambridge lub po prostu Cambridge) – drugi po Oksfordzie najstarszy angielski uniwersytet, założony w 1209 roku. Znajduje się w Cambridge w środkowej Anglii. Uważany za jeden z najlepszych uniwersytetów w Europie i na świecie. Uniwersytety Oksfordzki i Cambridge określane są wspólną nazwą Oxbridge.Biblioteka Narodowa Francji (fr. Bibliothèque nationale de France, BnF) – francuska biblioteka narodowa, znajdująca się w Paryżu. Przewidziana jest jako repozytorium dla wszystkich materiałów bibliotecznych, wydawanych we Francji. Obecnym dyrektorem Biblioteki jest Bruno Racine.

    Linki zewnętrzne[]

  • John J. O'Connor; Edmund F. Robertson: Augustus De Morgan w MacTutor History of Mathematics archive (ang.)
  • (window.RLQ=window.RLQ||).push(function(){mw.log.warn("Gadget \"edit-summary-warning\" styles loaded twice. Migrate to type=general. See \u003Chttps://phabricator.wikimedia.org/T42284\u003E.");mw.log.warn("Gadget \"wikibugs\" styles loaded twice. Migrate to type=general. See \u003Chttps://phabricator.wikimedia.org/T42284\u003E.");mw.log.warn("Gadget \"ReferenceTooltips\" styles loaded twice. Migrate to type=general. See \u003Chttps://phabricator.wikimedia.org/T42284\u003E.");mw.log.warn("Gadget \"main-page\" styles loaded twice. Migrate to type=general. See \u003Chttps://phabricator.wikimedia.org/T42284\u003E.");});
    Prawa De Morgana – twierdzenia w logice matematycznej i teorii mnogości. Od nazwiska Augustusa De Morgana, angielskiego matematyka.Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Gemeinsame Normdatei (GND) – kartoteka wzorcowa, stanowiąca element centralnego katalogu Niemieckiej Biblioteki Narodowej (DNB), utrzymywanego wspólnie przez niemieckie i austriackie sieci biblioteczne.
    Algebra logiki termin obecnie używany wyłącznie w sensie historycznym. W drugiej połowie XIX i na początku XX w. algebrą logiki nazywano logikę formalną uprawianą na wzór algebry liczb, przy użyciu jej symboli: dodawania, mnożenia i odejmowania, których sens odpowiednio modyfikowano. Osobami które zapoczątkowały takie podejścia do logiki byli: G. Boole i A. de Morgan. Algebra logiki była jednym z nurtów, z których wyrosła współczesna logika formalna.

    Reklama

    Czas generowania strony: 0.011 sek.