Quiz
SI
Erstelle ein kostenloses Konto, um dieses Quiz zu beenden
Speichere deinen Fortschritt und sieh dir dein Endergebnis an.
oder mit deiner E-Mail registrieren
Schon ein Konto? Anmelden
Fragen in diesem 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
Informationen
- Beschreibung
- Pozdro swiry egzamin na szafe a szafa na suke Ja tylko z pdf przepisalem pytanka, reklamacje nie do mnie
- Autor
- d _ b
- Sprache
- English
- Aufrufe
- 704
- Schlagwörter
- Bewertung
- Noch keine Bewertungen Bewerte dieses Quiz