18 kontakty: Amerykańskie Towarzystwo Matematyczne, Ciało (matematyka), Informatyka, Język angielski, Język formalny, Kombinatoryka, Logika matematyczna, Maszyna Turinga, Matematyka, Sztuczna inteligencja, Teoria liczb, Teoria mnogości, Teoria modeli, Teoria obliczeń, Teoria rekursji, Układ dynamiczny, Wielomian, Złożoność obliczeniowa.
Amerykańskie Towarzystwo Matematyczne
Amerykańskie Towarzystwo Matematyczne (skr.) – towarzystwo naukowe skupiające matematyków w Stanach Zjednoczonych.
Nowy!!: MSC 2000 i Amerykańskie Towarzystwo Matematyczne · Zobacz więcej »
Ciało (matematyka)
klasa właściwa spełniajątylko niestandardową, poszerzonądefinicję ciała. liniowo. liczb rzeczywistych liczb konstruowalnych. Liczby zespolone to inny przykład ciała. Zasadnicze twierdzenie algebry mówi, że jest to ciało algebraicznie domknięte. ciele skończonym, konkretniej dwuelementowym. Ciało – typ struktury algebraicznej z dwoma działaniami; krótko definiowany jako przemienny pierścień z dzieleniem lub dziedzina całkowitości z odwracalnościąelementów.
Nowy!!: MSC 2000 i Ciało (matematyka) · Zobacz więcej »
Informatyka
Informatyka zajmuje się teoretycznymi podstawami informacji, algorytmami i architekturami układów jąprzetwarzających oraz praktycznymi technikami ich stosowania.
Nowy!!: MSC 2000 i Informatyka · Zobacz więcej »
Język angielski
Wielkiej Brytanii symbolizujące język angielski ikona symbolizująca język angielski według standardu ISO 639-1 Język angielski, angielszczyzna (ang.) – język z grupy zachodniej rodziny języków germańskich, powszechnie używany w Wielkiej Brytanii, jej terytoriach zależnych oraz w wielu byłych koloniach i dominiach, m.in.
Nowy!!: MSC 2000 i Język angielski · Zobacz więcej »
Język formalny
Język formalny – podzbiór zbioru wszystkich słów nad skończonym alfabetem.
Nowy!!: MSC 2000 i Język formalny · Zobacz więcej »
Kombinatoryka
teorię grup. Kombinatoryka – dział matematyki, zajmujący się badaniem struktur skończonych lub nieskończonych, ale przeliczalnych.
Nowy!!: MSC 2000 i Kombinatoryka · Zobacz więcej »
Logika matematyczna
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.
Nowy!!: MSC 2000 i Logika matematyczna · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: MSC 2000 i Maszyna Turinga · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: MSC 2000 i Matematyka · Zobacz więcej »
Sztuczna inteligencja
Wielkiej Brytanii Sztuczna inteligencja, SI (AI) – inteligencja wykazywana przez urządzenia sztuczne (w przeciwieństwie do inteligencji naturalnej).
Nowy!!: MSC 2000 i Sztuczna inteligencja · Zobacz więcej »
Teoria liczb
Czeski znaczek pocztowy upamiętniający wielkie twierdzenie Fermata i jego dowód przez Andrew Wilesa Teoria liczb – dziedzina matematyki badająca własności niektórych typów liczbLiczby kardynalne i porządkowe sąbadane przez teorię mnogości.
Nowy!!: MSC 2000 i Teoria liczb · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: MSC 2000 i Teoria mnogości · Zobacz więcej »
Teoria modeli
Teoria modeli (nazywana też '''semantykąlogiczną''') – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.
Nowy!!: MSC 2000 i Teoria modeli · Zobacz więcej »
Teoria obliczeń
Teoria obliczeń – dział informatyki i matematyki, który dzieli się na: teorię automatów i języków formalnych, teorię obliczalności oraz teorię złożoności.
Nowy!!: MSC 2000 i Teoria obliczeń · Zobacz więcej »
Teoria rekursji
Teoria rekursji – dział logiki matematycznej, którego początki sięgająlat trzydziestych XX wieku.
Nowy!!: MSC 2000 i Teoria rekursji · Zobacz więcej »
Układ dynamiczny
Układ dynamiczny – model matematyczny rzeczywistego zjawiska przyrody, którego ewolucja jest wyznaczona jednoznacznie przez stan początkowy; najczęściej jest opisany pewnym wektorowym równaniem różniczkowym (czyli w istocie układem równań różniczkowych zwyczajnych), zwanym równaniem stanu.
Nowy!!: MSC 2000 i Układ dynamiczny · Zobacz więcej »
Wielomian
Wielomian (inaczej suma algebraiczna) – wyrażenie algebraiczne będące sumąjednomianów; używane w wielu działach matematyki.
Nowy!!: MSC 2000 i Wielomian · Zobacz więcej »
Złożoność obliczeniowa
Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych.
Nowy!!: MSC 2000 i Złożoność obliczeniowa · Zobacz więcej »