Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata.js
d _ b
Quiz by , created more than 1 year ago

Pozdro swiry egzamin na szafe a szafa na suke Ja tylko z pdf przepisalem pytanka, reklamacje nie do mnie

626
0
0
d _ b
Created by d _ b about 5 years ago
Rate this resource by clicking on the stars below:
1 2 3 4 5 (0)
Ratings (0)
0
0
0
0
0

0 comments

There are no comments, be the first and leave one below:

Close

SI

SI

Question 13 of 34 Question 1 of 34

1

Na czym polega dowód formuły A?

Select one or more of the following:

  • Na ustaleniu prawdziwości A

  • Na stwierdzeniu niesprzeczności A

  • Ustaleniu ciągu formuł w którym ostatnia jest formuła A

Explanation

Question 23 of 34 Question 2 of 34

1

Zbiory skończone cechują się

Select one or more of the following:

  • niepoliczalnością

  • odwzorowaniem bijekcyjnym ze zbiorem (1, 2, ...,n) (n liczba naturalna)

  • naturalną liczbą kardynalną zbioru

Explanation

Question 15 of 34 Question 3 of 34

1

Co to jest system niesprzeczny?

Select one or more of the following:

  • Brak dowod A i ¬A jednocześnie

  • Wszystkie formuły mają dowody

  • System niezupełny

Explanation

Question 30 of 34 Question 4 of 34

1

Czy automatyczne dowodzenie twierdzenia polega na ustaleniu odpowiedzi na pytanie

Select one or more of the following:

  • Czy A jest konsekwencją Akursywa?

  • Czy formuła A jest twierdzeniem systemu formalnego, której zbiór aksjomatów
    (non-logical) Akursywa?

  • Czy A jest tautologią?

Explanation

Question 29 of 34 Question 5 of 34

1

Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , (, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania

Select one or more of the following:

  • W aspekcie semantycznym rachunku zdań

  • W aspekcie syntaktycznym rachunku zdań

  • Rachunku predykatów

Explanation

Question 9 of 34 Question 6 of 34

1

W rachunku zdań prawdziwe jest twierdzenie

Select one or more of the following:

  • ¬¬B→B

  • (B→¬B)

  • (B→((B→C)→C))

Explanation

Question 28 of 34 Question 7 of 34

1

Skolemizacja formuły to

Select one or more of the following:

  • Redukcja kwantyfikatorów ∀ w formule

  • Redukcja kwantyfikatorów ∃ w formule

  • Przedstawienie formuły w postaci preneksowej z użyciem dowolnych kwantyfikatorów

Explanation

Question 32 of 34 Question 8 of 34

1

Czy zbiory formuł systemów formalnych Pr w postaci preneksowej mają swój ekwiwalent
w formie :

Select one or more of the following:

  • Klauzul

  • Skolema

  • W dowolnej postaci dobrze określonej

Explanation

Question 11 of 34 Question 9 of 34

1

Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , ∨,∧, ⟷,(, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania

Select one or more of the following:

  • Rachunku predykatów

  • W aspekcie semantycznym rachunku zdań

  • W aspekcie syntaktycznym rachunku zdań

Explanation

Question 7 of 34 Question 10 of 34

1

Zbiór P(2,1) oznacza zbiór

Select one or more of the following:

  • Programów z 2 wyjściami i jednym wyjściem

  • Programów z 2 parametrami i jednym wynikiem

  • Programów z 2 wejściami i jednym wyjściem

Explanation

Question 17 of 34 Question 11 of 34

1

Interpretacja zbioru formuł systemu formalnego polega na:

Select one or more of the following:

  • Nadaniu formule dowolnej wartości arytmetycznej ze zbioru liczb rzeczywistych

  • Odwzorowaniu zbioru zdań atomowych w zbiór {T,F}, T-prawda, F-fałsz

  • Nadaniu formułom zbioru wartości logicznej

Explanation

Question 10 of 34 Question 12 of 34

1

Czym jest maszyna Turinga?

Select one or more of the following:

  • Narzędziem do oceny systemów obliczeniowych

  • Programem nieskończonym z nieskończoną taśmą z 1-bitowym klatkami

  • Konstrukcją teoretyczną do rozwiązania problemu Hilberta

Explanation

Question 31 of 34 Question 13 of 34

1

W rachunku zdań prawdziwe jest twierdzenie

Select one or more of the following:

  • (B→¬B)

  • (¬B→B)

  • ((A→B)→(¬B→¬A))

Explanation

Question 25 of 34 Question 14 of 34

1

Co to jest system nie sprzeczny?

Select one or more of the following:

  • Wszystkie formuły mają dowody

  • System niezupełny

  • Brak dowod A i ¬A jednocześnie

Explanation

Question 18 of 34 Question 15 of 34

1

Zbiory nieskończone są ekwipotencjalne, gdy

Select one or more of the following:

  • Istnieje odwzorowanie bijekcyjne między nimi

  • Są tak samo ponumerowane

  • Mają różną liczność

Explanation

Question 16 of 34 Question 16 of 34

1

Co to jest wgląd matematyczny ?

Select one or more of the following:

  • Indukcja matematyczna

  • Rozszerzenie systemu formalnego o nowe aksjomaty według pewnego algorytmu

  • Przykład zasady refleksji

Explanation

Question 4 of 34 Question 17 of 34

1

Dowodzenie automatyczne twierdzeń polega na

Select one or more of the following:

  • Stwierdzeniu istnienia modelu zbioru klauzul ekwiwalentnych do formuły

  • Odpowiedzi na pytanie ze zbiór A∪{¬A} ma model

  • Odpowiedzi na pytanie ze zbiór A∪{¬A} nie ma modelu

Explanation

Question 19 of 34 Question 18 of 34

1

System formalny wymaga zdefiniowania

Select one or more of the following:

  • Zbioru reguł

  • Alfabetu

  • Zbioru aksjomatów

Explanation

Question 3 of 34 Question 19 of 34

1

Do metod uczenia się bez nadzoru wykorzystywanych w sztucznych sieciach
neuronowych NIE należy:

Select one or more of the following:

  • Metoda Hebba

  • Metoda “różnicowa”

  • Metoda “instar learning”

Explanation

Question 20 of 34 Question 20 of 34

1

W algorytmach C4.5 i ID3 zbudowanych przez Rossa Quinlana jako przykład
rozwiązania zadania klasyfikacyjnego wykorzystano:

Select one or more of the following:

  • Funkcję Gaussa

  • Funkcję przynależności

  • Funkcję entropii

Explanation

Question 8 of 34 Question 21 of 34

1

Do operacji wykonywanych w ramach Text miningu nie należy:

Select one or more of the following:

  • Analiza skupień

  • Podział na kategorie

  • Ekstrakcja

Explanation

Question 34 of 34 Question 22 of 34

1

Zbió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:

Select one or more of the following:

  • Text mining

  • Eksploracji danych

  • Web mining

Explanation

Question 26 of 34 Question 23 of 34

1

Automat komórkowy zmienia stan komórki na podstawie:

Select one or more of the following:

  • Funkcji logitowych

  • Reguł sąsiedztwa

  • Warunków niesprzeczności

Explanation

Question 5 of 34 Question 24 of 34

1

Pojedynczy neuron będący częścią sztucznej sieci neuronowej posiada:

Select one or more of the following:

  • Jedno wejście wiele wyjść oraz wektor wag

  • Wiele wejść wektor wag oraz wiele wyjść

  • Wiele wejść jedno wyjście oraz wektor wag

Explanation

Question 24 of 34 Question 25 of 34

1

Do określenia stopnia przynależności do zbioru w teorii zbiorów rozmytych używa
się:

Select one or more of the following:

  • Funkcji rozkładu normalnego

  • Funkcji użyteczności

  • Funkcji przynależności

Explanation

Question 12 of 34 Question 26 of 34

1

Formuła jest aksjomatem specyficznym?

Select one or more of the following:

  • Tak

  • Nie

Explanation

Question 33 of 34 Question 27 of 34

1

Zbiór jest:

Select one or more of the following:

  • Numerowalny

  • Rekurencyjny

  • Rekurencyjnie numerowany

Explanation

Question 22 of 34 Question 28 of 34

1

Zbiory policzalne:

Select one or more of the following:

  • Zawsze nieskończone

  • Zawsze skończone

  • Bywają skończone i nieskończone

Explanation

Question 27 of 34 Question 29 of 34

1

Warunek zatrzymania algorytmu genetycznego określany jest przez:

Select one or more of the following:

  • Maksymalną wartości funkcji przystosowania

  • Liczbę generacji

  • Prawdopodobieństwo reakcji chromosomu

Explanation

Question 14 of 34 Question 30 of 34

1

System formalny jest nasycony gdy:

Select one or more of the following:

  • Jest kategoryczny

  • Dla każdej dodanej formuły do zbioru aksjomatów system staje się niespójny

  • Jest zwarty

Explanation

Question 21 of 34 Question 31 of 34

1

Funkcja przystosowania to:

Select one or more of the following:

  • Funkcja dopasowania

  • Miara przystosowania osobnika do populacji

  • Zależność między chromosomami

Explanation

Question 1 of 34 Question 32 of 34

1

Krzyżowanie chromosomów polega na:

Select one or more of the following:

  • Wyborze pary rodzicielskiej i odpowiednim przekształceniu chromosomów

  • Mutacji chromosomów

  • Generowaniu 2 potomków chromosomów na zasadzie przeniesienia części
    genów obojga rodziców

Explanation

Question 2 of 34 Question 33 of 34

1

Mutacja musi odbywać się na:

Select one or more of the following:

  • Co najmniej 2 chromosomach jednocześnie

  • Co najmniej trzech

  • Jednym chromosomie

Explanation

Question 6 of 34 Question 34 of 34

1

Kryterium selekcji (...) chromosomów opiera się na:

Select one or more of the following:

  • Wartości funkcji przystosowania chromosomu

  • Liczebności genomu w chromosomie

  • Prawdopodobieństwie krzyżowania chromosomów

Explanation

Previous
Check answer
Next