Quiz
SI
Create a free account to finish this quiz
Save your progress and see your final score.
Already have an account? Sign in
Questions in this quiz (34)
1Na czym polega dowód formuły A?
- ANa ustaleniu prawdziwości A
- BUstaleniu ciągu formuł w którym ostatnia jest formuła A
- CNa stwierdzeniu niesprzeczności A
2Zbiory skończone cechują się
- Aniepoliczalnością
- Bnaturalną liczbą kardynalną zbioru
- Codwzorowaniem bijekcyjnym ze zbiorem (1, 2, ...,n) (n liczba naturalna)
3Co to jest system niesprzeczny?
- ASystem niezupełny
- BBrak dowod A i ¬A jednocześnie
- CWszystkie formuły mają dowody
4Czy automatyczne dowodzenie twierdzenia polega na ustaleniu odpowiedzi na pytanie
- ACzy formuła A jest twierdzeniem systemu formalnego, której zbiór aksjomatów
(non-logical) Akursywa? - BCzy A jest konsekwencją Akursywa?
- CCzy A jest tautologią?
- ACzy formuła A jest twierdzeniem systemu formalnego, której zbiór aksjomatów
5 Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , (, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
- AW aspekcie semantycznym rachunku zdań
- BRachunku predykatów
- CW aspekcie syntaktycznym rachunku zdań
6W rachunku zdań prawdziwe jest twierdzenie
- A(B→((B→C)→C))
- B¬¬B→B
- C(B→¬B)
7Skolemizacja formuły to
- ARedukcja kwantyfikatorów ∀ w formule
- BRedukcja kwantyfikatorów ∃ w formule
- CPrzedstawienie formuły w postaci preneksowej z użyciem dowolnych kwantyfikatorów
8Czy zbiory formuł systemów formalnych Pr w postaci preneksowej mają swój ekwiwalent
w formie :- ASkolema
- BKlauzul
- CW dowolnej postaci dobrze określonej
9 Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , ∨,∧, ⟷,(, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
- AW aspekcie semantycznym rachunku zdań
- BRachunku predykatów
- CW aspekcie syntaktycznym rachunku zdań
10Zbiór P(2,1) oznacza zbiór
- AProgramów z 2 wejściami i jednym wyjściem
- BProgramów z 2 parametrami i jednym wynikiem
- CProgramów z 2 wyjściami i jednym wyjściem
11Interpretacja zbioru formuł systemu formalnego polega na:
- ANadaniu formułom zbioru wartości logicznej
- BNadaniu formule dowolnej wartości arytmetycznej ze zbioru liczb rzeczywistych
- COdwzorowaniu zbioru zdań atomowych w zbiór {T,F}, T-prawda, F-fałsz
12Czym jest maszyna Turinga?
- AProgramem nieskończonym z nieskończoną taśmą z 1-bitowym klatkami
- BKonstrukcją teoretyczną do rozwiązania problemu Hilberta
- CNarzędziem do oceny systemów obliczeniowych
13W rachunku zdań prawdziwe jest twierdzenie
- A((A→B)→(¬B→¬A))
- B(¬B→B)
- C(B→¬B)
14Co to jest system nie sprzeczny?
- ASystem niezupełny
- BBrak dowod A i ¬A jednocześnie
- CWszystkie formuły mają dowody
15Zbiory nieskończone są ekwipotencjalne, gdy
- AMają różną liczność
- BSą tak samo ponumerowane
- CIstnieje odwzorowanie bijekcyjne między nimi
16Co to jest wgląd matematyczny ?
- APrzykład zasady refleksji
- BRozszerzenie systemu formalnego o nowe aksjomaty według pewnego algorytmu
- CIndukcja matematyczna
17Dowodzenie automatyczne twierdzeń polega na
- AStwierdzeniu istnienia modelu zbioru klauzul ekwiwalentnych do formuły
- BOdpowiedzi na pytanie ze zbiór A∪{¬A} nie ma modelu
- COdpowiedzi na pytanie ze zbiór A∪{¬A} ma model
18System formalny wymaga zdefiniowania
- AAlfabetu
- BZbioru aksjomatów
- CZbioru reguł
19Do metod uczenia się bez nadzoru wykorzystywanych w sztucznych sieciach
neuronowych NIE należy:- AMetoda Hebba
- BMetoda “instar learning”
- CMetoda “różnicowa”
20W algorytmach C4.5 i ID3 zbudowanych przez Rossa Quinlana jako przykład
rozwiązania zadania klasyfikacyjnego wykorzystano:- AFunkcję entropii
- BFunkcję przynależności
- CFunkcję Gaussa
21Do operacji wykonywanych w ramach Text miningu nie należy:
- APodział na kategorie
- BAnaliza skupień
- CEkstrakcja
22Zbiór życiorysów zgłaszanych do jakiejś firmy drogą elektroniczną w procesie
rekrutacji, może być najlepiej automatycznie przeanalizowany pod kątem
przydatności pracownika w firmie, za pomocą metod:- AEksploracji danych
- BText mining
- CWeb mining
23Automat komórkowy zmienia stan komórki na podstawie:
- AFunkcji logitowych
- BWarunków niesprzeczności
- CReguł sąsiedztwa
24Pojedynczy neuron będący częścią sztucznej sieci neuronowej posiada:
- AWiele wejść jedno wyjście oraz wektor wag
- BJedno wejście wiele wyjść oraz wektor wag
- CWiele wejść wektor wag oraz wiele wyjść
25Do określenia stopnia przynależności do zbioru w teorii zbiorów rozmytych używa
się:- AFunkcji użyteczności
- BFunkcji przynależności
- CFunkcji rozkładu normalnego
26Formuła jest aksjomatem specyficznym?
- ATak
- BNie
27Zbiór jest:
- ANumerowalny
- BRekurencyjny
- CRekurencyjnie numerowany
28 Zbiory policzalne:
- ABywają skończone i nieskończone
- BZawsze skończone
- CZawsze nieskończone
29Warunek zatrzymania algorytmu genetycznego określany jest przez:
- ALiczbę generacji
- BMaksymalną wartości funkcji przystosowania
- CPrawdopodobieństwo reakcji chromosomu
30System formalny jest nasycony gdy:
- AJest kategoryczny
- BDla każdej dodanej formuły do zbioru aksjomatów system staje się niespójny
- CJest zwarty
31 Funkcja przystosowania to:
- AFunkcja dopasowania
- BMiara przystosowania osobnika do populacji
- CZależność między chromosomami
32Krzyżowanie chromosomów polega na:
- AWyborze pary rodzicielskiej i odpowiednim przekształceniu chromosomów
- BMutacji chromosomów
- CGenerowaniu 2 potomków chromosomów na zasadzie przeniesienia części
genów obojga rodziców
33Mutacja musi odbywać się na:
- ACo najmniej 2 chromosomach jednocześnie
- BJednym chromosomie
- CCo najmniej trzech
34Kryterium selekcji (...) chromosomów opiera się na:
- ALiczebności genomu w chromosomie
- BPrawdopodobieństwie krzyżowania chromosomów
- CWartości funkcji przystosowania chromosomu
Information
- Description
- Pozdro swiry egzamin na szafe a szafa na suke Ja tylko z pdf przepisalem pytanka, reklamacje nie do mnie
- Author
- d _ b
- Language
- English
- Views
- 704
- Tags
- Rating
- No ratings yet Rate this quiz