Szybszy dostęp niż przeglądarce!
11 kontakty: Aksjomat, Algebra, Automatyczne dowodzenie twierdzeń, Paramodulacja, Relacja (matematyka), Relacja przechodnia, Relacja równoważności, Relacja symetryczna, Relacja zwrotna, Rezolucja (matematyka), Znak równości.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Równość (matematyka) i Aksjomat · Zobacz więcej »
Algebra
Dzieło, z którego pochodzi określenie „algebra”: ''Al-kitab al-muchtasar fi hisab al-dżabr wa-al-mukabala'' (IX w.) Towarzystwa do Ksiąg Elementarnych Algebra (al-dżabr) – jedna z głównych dziedzin matematyki, zajmująca się wszelkimi strukturami algebraicznymi, czyli zbiorami – lub bardziej ogólnymi klasami – wyposażonymi w działania; struktury te bywająteż nazywane algebrami ogólnymi.
Nowy!!: Równość (matematyka) i Algebra · Zobacz więcej »
Automatyczne dowodzenie twierdzeń
Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) – proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód.
Nowy!!: Równość (matematyka) i Automatyczne dowodzenie twierdzeń · Zobacz więcej »
Paramodulacja
Paramodulacja to algorytm automatycznego dowodzenia twierdzeń w systemach z równością.
Nowy!!: Równość (matematyka) i Paramodulacja · Zobacz więcej »
Relacja (matematyka)
Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostająw związku albo łączy je pewna zależność, czy też własność lub nie).
Nowy!!: Równość (matematyka) i Relacja (matematyka) · Zobacz więcej »
Relacja przechodnia
diagramami Hassego; tutaj przykład przedstawiający inkluzję (zawieranie) podzbiorów w zbiorze trójelementowym. Relacja zwycięstwa między ruchami jest przeciwprzechodnia. Na płaszczyźnie dwie proste prostopadłe do jednej nie mogąbyć prostopadłe ze sobą, bo sąrównoległe. układu współrzędnych kartezjańskich sąprostopadłe parami. Relacja przechodnia (tranzytywna) – relacja, która jeśli zachodzi dla pary (x,y) oraz pary (y,z), to zachodzi też dla pary (x,z).
Nowy!!: Równość (matematyka) i Relacja przechodnia · Zobacz więcej »
Relacja równoważności
Relacja równoważności – zwrotna, symetryczna i przechodnia relacja dwuargumentowa określona na pewnym zbiorze utożsamiająca ze sobąw pewien sposób jego elementy, co ustanawia podział tego zbioru na rozłączne podzbiory według tej relacji.
Nowy!!: Równość (matematyka) i Relacja równoważności · Zobacz więcej »
Relacja symetryczna
Relacja symetryczna – relacja, która jest identyczna z perspektywy wszystkich wchodzących w jej skład elementów.
Nowy!!: Równość (matematyka) i Relacja symetryczna · Zobacz więcej »
Relacja zwrotna
Relacja zwrotna – abstrakcyjna relacja, w której każdy element zbioru jest w relacji sam z sobą.
Nowy!!: Równość (matematyka) i Relacja zwrotna · Zobacz więcej »
Rezolucja (matematyka)
Rezolucja – metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul, aż dojdzie się do sprzeczności.
Nowy!!: Równość (matematyka) i Rezolucja (matematyka) · Zobacz więcej »
Znak równości
Znak równości (ang. Equals sign) – symbol matematyczny używany dla oznaczenia równości.
Nowy!!: Równość (matematyka) i Znak równości · Zobacz więcej »
