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

623
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

Question 2 of 34 Question 1 of 34

1

Na czym polega dowód formuły A?

Select one or more of the following:

  • Na stwierdzeniu niesprzeczności A

  • Na ustaleniu prawdziwości A

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

Explanation

Question 25 of 34 Question 2 of 34

1

Zbiory skończone cechują się

Select one or more of the following:

  • naturalną liczbą kardynalną zbioru

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

  • niepoliczalnością

Explanation

Question 31 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 5 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 A jest tautologią?

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

Explanation

Question 11 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:

  • Rachunku predykatów

  • W aspekcie syntaktycznym rachunku zdań

  • W aspekcie semantycznym rachunku zdań

Explanation

Question 10 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 27 of 34 Question 7 of 34

1

Skolemizacja formuły to

Select one or more of the following:

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

  • Redukcja kwantyfikatorów ∃ w formule

  • Redukcja kwantyfikatorów ∀ w formule

Explanation

Question 28 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:

  • W dowolnej postaci dobrze określonej

  • Klauzul

  • Skolema

Explanation

Question 18 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:

  • W aspekcie semantycznym rachunku zdań

  • W aspekcie syntaktycznym rachunku zdań

  • Rachunku predykatów

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 wejściami i jednym wyjściem

  • Programów z 2 parametrami i jednym wynikiem

Explanation

Question 33 of 34 Question 11 of 34

1

Interpretacja zbioru formuł systemu formalnego polega na:

Select one or more of the following:

  • Nadaniu formułom zbioru wartości logicznej

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

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

Explanation

Question 30 of 34 Question 12 of 34

1

Czym jest maszyna Turinga?

Select one or more of the following:

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

  • Konstrukcją teoretyczną do rozwiązania problemu Hilberta

  • Narzędziem do oceny systemów obliczeniowych

Explanation

Question 34 of 34 Question 13 of 34

1

W rachunku zdań prawdziwe jest twierdzenie

Select one or more of the following:

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

  • (B→¬B)

  • (¬B→B)

Explanation

Question 14 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 21 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

  • Mają różną liczność

  • Są tak samo ponumerowane

Explanation

Question 3 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 9 of 34 Question 17 of 34

1

Dowodzenie automatyczne twierdzeń polega na

Select one or more of the following:

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

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

  • Stwierdzeniu istnienia modelu zbioru klauzul ekwiwalentnych do formuły

Explanation

Question 16 of 34 Question 18 of 34

1

System formalny wymaga zdefiniowania

Select one or more of the following:

  • Alfabetu

  • Zbioru reguł

  • Zbioru aksjomatów

Explanation

Question 12 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 “instar learning”

  • Metoda Hebba

  • Metoda “różnicowa”

Explanation

Question 23 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 26 of 34 Question 21 of 34

1

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

Select one or more of the following:

  • Podział na kategorie

  • Ekstrakcja

  • Analiza skupień

Explanation

Question 24 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:

  • Web mining

  • Eksploracji danych

  • Text mining

Explanation

Question 17 of 34 Question 23 of 34

1

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

Select one or more of the following:

  • Reguł sąsiedztwa

  • Funkcji logitowych

  • Warunków niesprzeczności

Explanation

Question 6 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ść jedno wyjście oraz wektor wag

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

Explanation

Question 1 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 13 of 34 Question 26 of 34

1

Formuła jest aksjomatem specyficznym?

Select one or more of the following:

  • Nie

  • Tak

Explanation

Question 20 of 34 Question 27 of 34

1

Zbiór jest:

Select one or more of the following:

  • Numerowalny

  • Rekurencyjnie numerowany

  • Rekurencyjny

Explanation

Question 4 of 34 Question 28 of 34

1

Zbiory policzalne:

Select one or more of the following:

  • Bywają skończone i nieskończone

  • Zawsze nieskończone

  • Zawsze skończone

Explanation

Question 15 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

  • Prawdopodobieństwo reakcji chromosomu

  • Liczbę generacji

Explanation

Question 32 of 34 Question 30 of 34

1

System formalny jest nasycony gdy:

Select one or more of the following:

  • Jest zwarty

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

  • Jest kategoryczny

Explanation

Question 8 of 34 Question 31 of 34

1

Funkcja przystosowania to:

Select one or more of the following:

  • Miara przystosowania osobnika do populacji

  • Zależność między chromosomami

  • Funkcja dopasowania

Explanation

Question 19 of 34 Question 32 of 34

1

Krzyżowanie chromosomów polega na:

Select one or more of the following:

  • Mutacji chromosomów

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

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

Explanation

Question 22 of 34 Question 33 of 34

1

Mutacja musi odbywać się na:

Select one or more of the following:

  • Jednym chromosomie

  • Co najmniej 2 chromosomach jednocześnie

  • Co najmniej trzech

Explanation

Question 29 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

  • Prawdopodobieństwie krzyżowania chromosomów

  • Liczebności genomu w chromosomie

Explanation

Previous
Check answer
Next