WorksheetsMiSWD
Total questions: 34
Worksheet time: 17mins
Na czym polega ustalenie sytuacji decyzyjnej:
określenie stanu elementów systemu oraz stwierdzenie potrzeby podjęcia decyzji
chęć podjęcia decyzji
sformułowanie zadania optymalizacji
Czy problem Hilberta to:
wymiar przestrzeni Hilberta
problem rozstrzygalność formuł systemu
istnienie procedury rozstrzygającej wszystkie problemy matematyczne w sposób mechaniczny
Szereg czasowy w szerokim sensie to:
zbiór uporządkowanych według czasu wartości tej samej wielkości w różnych chwilach
zbiór wartości różnych charakterystyk w tej samej chwili
zbiór wartości wielu charakterystyk w różnych chwilach czasu
Reguła prognozowania nieobciążona rożni sie od reguły z poprawka:
wariancja odchyłki
sposobem obliczania prognozy z uwzględnieniem dodatkowej wartości odstępstw od wartości oczekiwanej zmiennej objaśniającej
średnią wartością odchyłek danych modelowych od empirycznych
Co to jest tendencja rozwojowa?
trend
Jednokierunkowe skłonności długookresowe do zmian, skłonności do spadku lub wzrostu
zmiany naprzemienne
Co to znaczy, że wszystkie formuły są rozstrzygalne?
istnieje dowód formuły i jej zaprzeczenia
dla formuły A istnieje dowód A lub ~A (system jest zupełny)
system jest niezupełny
Które z narzędzi formalnych można zaliczyć do podstawowych technik decyzyjnych:
Badanie operacyjne, optymalizacja, symulacja komputerowa
Teoria gier i sztuczna inteligencja
Teoria decyzji i ryzyka
Szereg czasowy w szerokim sensie to:
zbiór wartości wielu charakterystyk w różnych chwilach czasu
zbiór uporządkowanych według czasu wartości tej samej wielkości w różnych chwilach
zbiór wartości różnych charakterystyk w tej samej chwili
Prognoza w ekonometrii, to:
przewidywanie wartości zmiennych objaśnianych w przyszłości przy znajomości zmiennych objaśniających
przewidywanie wartości parametrów modelu regresyjnego
wynik wnioskowania o przyszłości na podstawie danych z przeszłości
W której fazie procesu podejmowania decyzji formułowane są kryteria:
rozpoznanie sytuacji decyzyjnej
opracowanie możliwych wariantów decyzji
wybór decyzji
Na czym polega ustalenie sytuacji decyzyjnej:
sformułowanie zadania optymalizacji
określenie stanu elementów systemu oraz stwierdzenie potrzeby podjęcia decyzji
chęć podjęcia decyzji
Fazą predykacji jest:
diagnoza przyszłości i określenie modelu ekonometrycznego
określenie przyszłości na podstawie reguły prognozowania
Reguła minimalnej straty
System niesprzeczny:
System niezupełny
Brak dowodu A i ~A jednocześnie
Wszystkie formuły mają dowody
Estymacja parametrów modelu ekonometrycznego w przypadku wystąpienia nieliniowości polega na:
zastosowaniu metod gradientowych do poszukania ekstremum pewnej funkcji
Linearyzacji modelu względem parametrów i zastosowania metody najmniejszych kwadratów
poszukiwania ocen metodą iteracyjną
Które z narzędzi formalnych można zaliczyć do podstawowych technik decyzyjnych:
Badanie operacyjne, optymalizacja, symulacja komputerowa
Teoria decyzji i ryzyka
Teoria gier i sztuczna inteligencja
Co to jest wgląd matematyczny?
Przykład zasady refleksji
Rozszerzenie systemu formalnego o nowe aksjomaty według pewnego algorytmu
Indukcja matematyczna
Co to znaczy, że wszystkie formuły są rozstrzygalne w systemie?
Istnieje dowód takich formuł i ich zaprzeczeń jednocześnie
System jest zupełny
Dla każdej formuły A istnieje dowód A lub -A
Na czym polega dowód formuły A?
Na ustaleniu prawdziwości A
Na stwierdzeniu niesprzeczności A
Ustalenie ciągu formuł, w którym ostatnia jest formuła A
Czym jest Maszyna Turinga?
Programem sterującym z nieskończoną taśmą z 1-(...) klatkami
Konstrukcją teoretyczną do rozwiązania problemu Hilberta
Narzędziem do oceny systemów elektronicznych
System formalny wymaga zdefiniowania:
Zbioru reguł
Zbioru aksjomatów
Alfabetu
Czy system formalny jest nasycony, gdy
Jest kategoryczny
Dla każdej dodanej formuły do zbioru aksjomatów system staje się niespójny
Jest zwarty
Zdanie poprawne logicznie:
B->~B
A->~A
(A->B)->(~B->~A)
Interpretacja zbioru formuł systemu formalnego polega na:
nadaniu formule zbioru wartości logicznej
odwzorowaniu zbioru zdań atomowych w zbiór {T,F}
nadaniu formule dowolnej wartości arytmetycznej ze zbioru liczb rzeczywistych
Alfabet [suma] pr (p0, p1, p2,…) u (->, ~, (, ) ) wystarcza do określenia aksjomatów:
semantyki rachunku zdań
predykatów
syntaktyki rachunku zdań
Zbiór P_{(2,1)} oznacza zbiór
Programów z 2 wyjściami i jednym wejściem
Programów z 2 parametrami i jednym wynikiem
Programów z 2 wejściami jednym wyjściem
Zbiory policzalne są:
Bywają skończone i nieskończone
Zawsze skończone
Zawsze nieskończone
Zbiory skończone cechują się:
Naturalną liczbą kardynalną
Odwzorowaniem bijekcyjnym ze zbiorem {1, ..., n}
Niepoliczalnością
Zbiór (2^{n}, n należy do N) jest:
Numerowany *elem. zbioru można ponumerować liczbami N*
Rekurencyjnie numerowany *istnieje fun. rek. f:N-N że X={f(n), neX}*
Rekurencyjny *istnieje fun. rek. f:N-N że f(n) = 0, neX*
Czym jest Maszyna Turinga?
Narzędziem do oceny systemów elektronicznych
Programem sterującym z nieskończoną taśmą z 1 - (...) klatkami
Konstrukcją teoretyczną do rozwiązania problemu Hilberta
Zbiory nieskończone są ekwipotencjalne, gdy:
Istnieje odwzorowanie bijekcyjne między nimi
Emil Paź zgoli pędzla
Są tak samo ponumerowane
Mają różną liczność
Jakie metody i narzędzia informatyczne stosuje się najczęściej w fazie rozpoznawania sytuacji decyzyjnej:
Metody rozpoznawania wzorców
Analiza regresji
Sztuczne sieci neuronowe
Funkcja kryterium nie może być:
Skalarna
Wektorowa
Wektorowa i skalarna
Które z narzędzi formalnych można zaliczyć do podstawowych technik decyzyjnych?
Optymalizacja i symulacja komputerowa
Teoria decyzji i ryzyka
Teoria względności
Na czym polega podejmowanie decyzji z wykorzystaniem prognoz:
Funkcja kryterium jest zmienną objaśnianą w modelu prognostycznym, a zmienne objaśniające są zmiennymi decyzyjnymi
Zarówno ograniczenia jak i funkcja kryterium mogą być wielkościami prognozowanymi
Braku związku postaci funkcji z danymi empirycznymi
