Algorytm rekurencyjny - algorytm, który wywołuje sam siebie. | Bijekcja jest to funkcja mająca następujące właściwości: liczność zbioru wartości argumentu funkcji jest równa liczności zbioru wartości funkcji, jest funkcją różnowartościową | Definicja rekurencji funkcji zawiera w sobie opis sposobu skonstruowania wartości funkcji dla pewnego argumentu x: przy znajomości wartości funkcji dla wartości argumentów należących do pewnych, zbiorów występujących w ciągu zbiorów przed zbiorem do którego należy x, dla x należących do zbioru początkowego | Definicja rekurencyjna ciągu liczbowego zawiera w sobie sposób skonstruowania: Elementu ciągu przy znajomości początkowych elementów ciągu oraz pewnych elementów ciągu występujących w ciągu przed definiowanych elementem, początkowego elementu ciągu, elementu ciągu przy znajomości pewnych elementów ciągu występujących w ciągu przed definiowanym elementem | Definicja rekurencyjna ciągu zbiorów zawiera w sobie opis sposobu skonstruowania zbioru, przy znajomości pewnych zbiorów występujących w ciągu przed tym zbiorem, przy znajomości zbiorów początkowych oraz pewnych zbiorów występujących w ciągu przed tym zbiorem, początkowego | Funkcja zdaniowa - wypowiedź orzekająca, ale zależna od zmiennej, po ustaleniu wartości której wypowiedź staje się zdaniem. | Injekcja jest to funkcja o własnościach, jest funkcją różnowartościową, liczność zbioru wartości argumentu funkcji jest nie większa niż liczebność zbioru wartości funkcji | Kwantyfikatory o ograniczonym zakresie zmienności - zakres zmienności zmiennej związanej dotyczy tylko takich wartości, dla których prawdziwa jest pewna funkcja zdaniowa. | Liczba Eulera - liczba permutacji zbioru zawierającego dokładnie k wzrostów. | Liczba Stirlinga - jest to liczba permutacji zbioru, których rozkład na cykle rozłączne zawiera dokładnie k cykli | Liczba Stirlinga drugiego rodzaju - liczba podziałów zbioru n-elementowego na k podzbiorów. | O zdaniu będącym niezmiennikiem pętli „dopóki” można powiedzieć, że: jeśli będzie prawdziwe razem z warunkiem dozoru pętli przed jej wykonaniem, to będzie prawdziwe po jej wykonaniu, będzie prawdziwe po wykonaniu pętli „dopóki”, o ile będzie prawdziwe przed wykonaniem tej pętli i o ile przed wykonaniem pętli będzie prawdziwy warunek dozoru pętli | Permutacja n-elementowa-bijekcja f: X→Y gdzie |x|=n. | Porządek infiksowy - każdy rodzic pomiędzy potomkami. | Porządek postfiksowy - każdy rodzic występuje po potomkach. | Porządek prefiksowy - każdy rodzic występuje przed potomkiem. | Prawdziwe jest następujące zdanie, gałęzie grafu Berge'a można przedstawić za pomocą par uporządkowanych, każda droga jest marszrutą, gałęzie w grafie to krawędzie, łuki i pętle | Prawdziwe jest następujące zdanie: graf Berge'a można przedstawić jako parę uporządkowaną relacji, w dendrycie tylko jeden wierzchołek nie ma poprzedników, a wszystkie pozostałe mają dokładnie po jednym poprzedniku | Relacja liniowego porządku(całkowego) - relacja porządkująca i liniowa. | Relacja równoważności - relacja zwrotna, symetryczna i przechodnia. | Spójnik - działanie na zdaniach,w wyniku którego otrzymuje się nowe zdanie. | Suriekcja to funkcja o własnościach, jest funkcją "na", każdej wartości funkcji wartości funkcji odpowiada co najmniej jedna wartość funkcji | Tautologia - formuła która ma zawsze wartość logiczną 1 bez względu na wartość logiczną zmiennych w niej występujących. Zbiór spójników nazywa się funkcjonalnie pełnym,jeśli każdą formułę można przedstawić w postaci, której występują wyłącznie spójniki z tego zbioru. | Wzór mn (malejące) określa: liczność zbioru wszystkich funkcji różnowartościowych przekształcających zbiór, n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach nie więcej niż po jednym przedmiocie w każdym pudełku | Wzór mn określa: liczność zbioru wszystkich funkcji przekształcających zbiór n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach | Wzór mn (rosnące) określa: liczbę różnych uporządkowanych rozmieszczeń n przedmiotów w m pudełkach, liczność iloczynu kartezjańskiego n zbiorów o licznościach m, (m+1), (m+2), … ,(m+n-1) | Zasada indukcji matematycznej dotyczy wyłącznie: nieskończonych ciągów, zbiorów uporządkowanych zawierających nieskończoną liczbę elementów | Zasada indukcji matematycznej obejmuje warunek początkowy oraz implikację. Stosowanie tej metody polega na: Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji, Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji przy założeniu, że poprzednik implikacji jest prawdziwy | Zasada maksimum - dowolny niepusty i ograniczony od góry podzbiór zbioru liczb naturalnych zawiera liczbę największą. | Zasada minimum (zasada dobrego uporządkowania) - dowolny niepusty podzbiór S ⊆ N zawiera liczbę najmniejszą. | Zdanie - wypowiedź orzekająca,której można przyporządkować wartość logiczną(prawda lub fałsz); | Zmienna wolna-zmienna nie będąca zmienną związaną. | Zmienna zdaniowa - symbol oznaczający zdanie. | Zmienna związana-zmienna opisana kwantyfikatorem i występująca w jego zasięgu.
Algorytm rekurencyjny - algorytm, który wywołuje sam siebie. | Bijekcja jest to funkcja mająca następujące właściwości: liczność zbioru wartości argumentu funkcji jest równa liczności zbioru wartości funkcji, jest funkcją różnowartościową | Definicja rekurencji funkcji zawiera w sobie opis sposobu skonstruowania wartości funkcji dla pewnego argumentu x: przy znajomości wartości funkcji dla wartości argumentów należących do pewnych, zbiorów występujących w ciągu zbiorów przed zbiorem do którego należy x, dla x należących do zbioru początkowego | Definicja rekurencyjna ciągu liczbowego zawiera w sobie sposób skonstruowania: Elementu ciągu przy znajomości początkowych elementów ciągu oraz pewnych elementów ciągu występujących w ciągu przed definiowanych elementem, początkowego elementu ciągu, elementu ciągu przy znajomości pewnych elementów ciągu występujących w ciągu przed definiowanym elementem | Definicja rekurencyjna ciągu zbiorów zawiera w sobie opis sposobu skonstruowania zbioru, przy znajomości pewnych zbiorów występujących w ciągu przed tym zbiorem, przy znajomości zbiorów początkowych oraz pewnych zbiorów występujących w ciągu przed tym zbiorem, początkowego | Funkcja zdaniowa - wypowiedź orzekająca, ale zależna od zmiennej, po ustaleniu wartości której wypowiedź staje się zdaniem. | Injekcja jest to funkcja o własnościach, jest funkcją różnowartościową, liczność zbioru wartości argumentu funkcji jest nie większa niż liczebność zbioru wartości funkcji | Kwantyfikatory o ograniczonym zakresie zmienności - zakres zmienności zmiennej związanej dotyczy tylko takich wartości, dla których prawdziwa jest pewna funkcja zdaniowa. | Liczba Eulera - liczba permutacji zbioru zawierającego dokładnie k wzrostów. | Liczba Stirlinga - jest to liczba permutacji zbioru, których rozkład na cykle rozłączne zawiera dokładnie k cykli | Liczba Stirlinga drugiego rodzaju - liczba podziałów zbioru n-elementowego na k podzbiorów. | O zdaniu będącym niezmiennikiem pętli „dopóki” można powiedzieć, że: jeśli będzie prawdziwe razem z warunkiem dozoru pętli przed jej wykonaniem, to będzie prawdziwe po jej wykonaniu, będzie prawdziwe po wykonaniu pętli „dopóki”, o ile będzie prawdziwe przed wykonaniem tej pętli i o ile przed wykonaniem pętli będzie prawdziwy warunek dozoru pętli | Permutacja n-elementowa-bijekcja f: X→Y gdzie |x|=n. | Porządek infiksowy - każdy rodzic pomiędzy potomkami. | Porządek postfiksowy - każdy rodzic występuje po potomkach. | Porządek prefiksowy - każdy rodzic występuje przed potomkiem. | Prawdziwe jest następujące zdanie, gałęzie grafu Berge'a można przedstawić za pomocą par uporządkowanych, każda droga jest marszrutą, gałęzie w grafie to krawędzie, łuki i pętle | Prawdziwe jest następujące zdanie: graf Berge'a można przedstawić jako parę uporządkowaną relacji, w dendrycie tylko jeden wierzchołek nie ma poprzedników, a wszystkie pozostałe mają dokładnie po jednym poprzedniku | Relacja liniowego porządku(całkowego) - relacja porządkująca i liniowa. | Relacja równoważności - relacja zwrotna, symetryczna i przechodnia. | Spójnik - działanie na zdaniach,w wyniku którego otrzymuje się nowe zdanie. | Suriekcja to funkcja o własnościach, jest funkcją "na", każdej wartości funkcji wartości funkcji odpowiada co najmniej jedna wartość funkcji | Tautologia - formuła która ma zawsze wartość logiczną 1 bez względu na wartość logiczną zmiennych w niej występujących. Zbiór spójników nazywa się funkcjonalnie pełnym,jeśli każdą formułę można przedstawić w postaci, której występują wyłącznie spójniki z tego zbioru. | Wzór mn (malejące) określa: liczność zbioru wszystkich funkcji różnowartościowych przekształcających zbiór, n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach nie więcej niż po jednym przedmiocie w każdym pudełku | Wzór mn określa: liczność zbioru wszystkich funkcji przekształcających zbiór n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach | Wzór mn (rosnące) określa: liczbę różnych uporządkowanych rozmieszczeń n przedmiotów w m pudełkach, liczność iloczynu kartezjańskiego n zbiorów o licznościach m, (m+1), (m+2), … ,(m+n-1) | Zasada indukcji matematycznej dotyczy wyłącznie: nieskończonych ciągów, zbiorów uporządkowanych zawierających nieskończoną liczbę elementów | Zasada indukcji matematycznej obejmuje warunek początkowy oraz implikację. Stosowanie tej metody polega na: Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji, Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji przy założeniu, że poprzednik implikacji jest prawdziwy | Zasada maksimum - dowolny niepusty i ograniczony od góry podzbiór zbioru liczb naturalnych zawiera liczbę największą. | Zasada minimum (zasada dobrego uporządkowania) - dowolny niepusty podzbiór S ⊆ N zawiera liczbę najmniejszą. | Zdanie - wypowiedź orzekająca,której można przyporządkować wartość logiczną(prawda lub fałsz); | Zmienna wolna-zmienna nie będąca zmienną związaną. | Zmienna zdaniowa - symbol oznaczający zdanie. | Zmienna związana-zmienna opisana kwantyfikatorem i występująca w jego zasięgu.
Algorytm rekurencyjny - algorytm, który wywołuje sam siebie. | Bijekcja jest to funkcja mająca następujące właściwości: liczność zbioru wartości argumentu funkcji jest równa liczności zbioru wartości funkcji, jest funkcją różnowartościową | Definicja rekurencji funkcji zawiera w sobie opis sposobu skonstruowania wartości funkcji dla pewnego argumentu x: przy znajomości wartości funkcji dla wartości argumentów należących do pewnych, zbiorów występujących w ciągu zbiorów przed zbiorem do którego należy x, dla x należących do zbioru początkowego | Definicja rekurencyjna ciągu liczbowego zawiera w sobie sposób skonstruowania: Elementu ciągu przy znajomości początkowych elementów ciągu oraz pewnych elementów ciągu występujących w ciągu przed definiowanych elementem, początkowego elementu ciągu, elementu ciągu przy znajomości pewnych elementów ciągu występujących w ciągu przed definiowanym elementem | Definicja rekurencyjna ciągu zbiorów zawiera w sobie opis sposobu skonstruowania zbioru, przy znajomości pewnych zbiorów występujących w ciągu przed tym zbiorem, przy znajomości zbiorów początkowych oraz pewnych zbiorów występujących w ciągu przed tym zbiorem, początkowego | Funkcja zdaniowa - wypowiedź orzekająca, ale zależna od zmiennej, po ustaleniu wartości której wypowiedź staje się zdaniem. | Injekcja jest to funkcja o własnościach, jest funkcją różnowartościową, liczność zbioru wartości argumentu funkcji jest nie większa niż liczebność zbioru wartości funkcji | Kwantyfikatory o ograniczonym zakresie zmienności - zakres zmienności zmiennej związanej dotyczy tylko takich wartości, dla których prawdziwa jest pewna funkcja zdaniowa. | Liczba Eulera - liczba permutacji zbioru zawierającego dokładnie k wzrostów. | Liczba Stirlinga - jest to liczba permutacji zbioru, których rozkład na cykle rozłączne zawiera dokładnie k cykli | Liczba Stirlinga drugiego rodzaju - liczba podziałów zbioru n-elementowego na k podzbiorów. | O zdaniu będącym niezmiennikiem pętli „dopóki” można powiedzieć, że: jeśli będzie prawdziwe razem z warunkiem dozoru pętli przed jej wykonaniem, to będzie prawdziwe po jej wykonaniu, będzie prawdziwe po wykonaniu pętli „dopóki”, o ile będzie prawdziwe przed wykonaniem tej pętli i o ile przed wykonaniem pętli będzie prawdziwy warunek dozoru pętli | Permutacja n-elementowa-bijekcja f: X→Y gdzie |x|=n. | Porządek infiksowy - każdy rodzic pomiędzy potomkami. | Porządek postfiksowy - każdy rodzic występuje po potomkach. | Porządek prefiksowy - każdy rodzic występuje przed potomkiem. | Prawdziwe jest następujące zdanie, gałęzie grafu Berge'a można przedstawić za pomocą par uporządkowanych, każda droga jest marszrutą, gałęzie w grafie to krawędzie, łuki i pętle | Prawdziwe jest następujące zdanie: graf Berge'a można przedstawić jako parę uporządkowaną relacji, w dendrycie tylko jeden wierzchołek nie ma poprzedników, a wszystkie pozostałe mają dokładnie po jednym poprzedniku | Relacja liniowego porządku(całkowego) - relacja porządkująca i liniowa. | Relacja równoważności - relacja zwrotna, symetryczna i przechodnia. | Spójnik - działanie na zdaniach,w wyniku którego otrzymuje się nowe zdanie. | Suriekcja to funkcja o własnościach, jest funkcją "na", każdej wartości funkcji wartości funkcji odpowiada co najmniej jedna wartość funkcji | Tautologia - formuła która ma zawsze wartość logiczną 1 bez względu na wartość logiczną zmiennych w niej występujących. Zbiór spójników nazywa się funkcjonalnie pełnym,jeśli każdą formułę można przedstawić w postaci, której występują wyłącznie spójniki z tego zbioru. | Wzór mn (malejące) określa: liczność zbioru wszystkich funkcji różnowartościowych przekształcających zbiór, n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach nie więcej niż po jednym przedmiocie w każdym pudełku | Wzór mn określa: liczność zbioru wszystkich funkcji przekształcających zbiór n-elementowy w zbiór m-elementowy, liczbę różnych rozmieszczeń n przedmiotów w m pudełkach | Wzór mn (rosnące) określa: liczbę różnych uporządkowanych rozmieszczeń n przedmiotów w m pudełkach, liczność iloczynu kartezjańskiego n zbiorów o licznościach m, (m+1), (m+2), … ,(m+n-1) | Zasada indukcji matematycznej dotyczy wyłącznie: nieskończonych ciągów, zbiorów uporządkowanych zawierających nieskończoną liczbę elementów | Zasada indukcji matematycznej obejmuje warunek początkowy oraz implikację. Stosowanie tej metody polega na: Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji, Wykazaniu prawdziwości warunku początkowego, a następnie prawdziwości następnika implikacji przy założeniu, że poprzednik implikacji jest prawdziwy | Zasada maksimum - dowolny niepusty i ograniczony od góry podzbiór zbioru liczb naturalnych zawiera liczbę największą. | Zasada minimum (zasada dobrego uporządkowania) - dowolny niepusty podzbiór S ⊆ N zawiera liczbę najmniejszą. | Zdanie - wypowiedź orzekająca,której można przyporządkować wartość logiczną(prawda lub fałsz); | Zmienna wolna-zmienna nie będąca zmienną związaną. | Zmienna zdaniowa - symbol oznaczający zdanie. | Zmienna związana-zmienna opisana kwantyfikatorem i występująca w jego zasięgu.
Wyszukiwarka