20613578
Frage 1
Frage
Na czym polega dowód formuły A?
Antworten
-
Na ustaleniu prawdziwości A
-
Ustaleniu ciągu formuł w którym ostatnia jest formuła A
-
Na stwierdzeniu niesprzeczności A
Frage 2
Frage
Zbiory skończone cechują się
Antworten
-
niepoliczalnością
-
naturalną liczbą kardynalną zbioru
-
odwzorowaniem bijekcyjnym ze zbiorem (1, 2, ...,n) (n liczba naturalna)
Frage 3
Frage
Co to jest system niesprzeczny?
Antworten
-
System niezupełny
-
Brak dowod A i ¬A jednocześnie
-
Wszystkie formuły mają dowody
Frage 4
Frage
Czy automatyczne dowodzenie twierdzenia polega na ustaleniu odpowiedzi na pytanie
Antworten
-
Czy formuła A jest twierdzeniem systemu formalnego, której zbiór aksjomatów (non-logical) Akursywa?
-
Czy A jest konsekwencją Akursywa?
-
Czy A jest tautologią?
Frage 5
Frage
Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , (, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
Antworten
-
W aspekcie semantycznym rachunku zdań
-
Rachunku predykatów
-
W aspekcie syntaktycznym rachunku zdań
Frage 6
Frage
W rachunku zdań prawdziwe jest twierdzenie
Antworten
-
(B→((B→C)→C))
-
¬¬B→B
-
(B→¬B)
Frage 7
Frage
Skolemizacja formuły to
Antworten
-
Redukcja kwantyfikatorów ∀ w formule
-
Redukcja kwantyfikatorów ∃ w formule
-
Przedstawienie formuły w postaci preneksowej z użyciem dowolnych kwantyfikatorów
Frage 8
Frage
Czy zbiory formuł systemów formalnych Pr w postaci preneksowej mają swój ekwiwalent
w formie :
Antworten
-
Skolema
-
Klauzul
-
W dowolnej postaci dobrze określonej
Frage 9
Frage
Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , ∨,∧, ⟷,(, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
Antworten
-
W aspekcie semantycznym rachunku zdań
-
Rachunku predykatów
-
W aspekcie syntaktycznym rachunku zdań
Frage 10
Frage
Zbiór P(2,1) oznacza zbiór
Antworten
-
Programów z 2 wejściami i jednym wyjściem
-
Programów z 2 parametrami i jednym wynikiem
-
Programów z 2 wyjściami i jednym wyjściem
Frage 11
Frage
Interpretacja zbioru formuł systemu formalnego polega na:
Antworten
-
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
Frage 12
Frage
Czym jest maszyna Turinga?
Antworten
-
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
Frage 13
Frage
W rachunku zdań prawdziwe jest twierdzenie
Antworten
-
((A→B)→(¬B→¬A))
-
(¬B→B)
-
(B→¬B)
Frage 14
Frage
Co to jest system nie sprzeczny?
Antworten
-
System niezupełny
-
Brak dowod A i ¬A jednocześnie
-
Wszystkie formuły mają dowody
Frage 15
Frage
Zbiory nieskończone są ekwipotencjalne, gdy
Antworten
-
Mają różną liczność
-
Są tak samo ponumerowane
-
Istnieje odwzorowanie bijekcyjne między nimi
Frage 16
Frage
Co to jest wgląd matematyczny ?
Antworten
-
Przykład zasady refleksji
-
Rozszerzenie systemu formalnego o nowe aksjomaty według pewnego algorytmu
-
Indukcja matematyczna
Frage 17
Frage
Dowodzenie automatyczne twierdzeń polega na
Antworten
-
Stwierdzeniu istnienia modelu zbioru klauzul ekwiwalentnych do formuły
-
Odpowiedzi na pytanie ze zbiór A∪{¬A} nie ma modelu
-
Odpowiedzi na pytanie ze zbiór A∪{¬A} ma model
Frage 18
Frage
System formalny wymaga zdefiniowania
Antworten
-
Alfabetu
-
Zbioru aksjomatów
-
Zbioru reguł
Frage 19
Frage
Do metod uczenia się bez nadzoru wykorzystywanych w sztucznych sieciach
neuronowych NIE należy:
Antworten
-
Metoda Hebba
-
Metoda “instar learning”
-
Metoda “różnicowa”
Frage 20
Frage
W algorytmach C4.5 i ID3 zbudowanych przez Rossa Quinlana jako przykład
rozwiązania zadania klasyfikacyjnego wykorzystano:
Antworten
-
Funkcję entropii
-
Funkcję przynależności
-
Funkcję Gaussa
Frage 21
Frage
Do operacji wykonywanych w ramach Text miningu nie należy:
Antworten
-
Podział na kategorie
-
Analiza skupień
-
Ekstrakcja
Frage 22
Frage
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:
Antworten
-
Eksploracji danych
-
Text mining
-
Web mining
Frage 23
Frage
Automat komórkowy zmienia stan komórki na podstawie:
Antworten
-
Funkcji logitowych
-
Warunków niesprzeczności
-
Reguł sąsiedztwa
Frage 24
Frage
Pojedynczy neuron będący częścią sztucznej sieci neuronowej posiada:
Antworten
-
Wiele wejść jedno wyjście oraz wektor wag
-
Jedno wejście wiele wyjść oraz wektor wag
-
Wiele wejść wektor wag oraz wiele wyjść
Frage 25
Frage
Do określenia stopnia przynależności do zbioru w teorii zbiorów rozmytych używa
się:
Antworten
-
Funkcji użyteczności
-
Funkcji przynależności
-
Funkcji rozkładu normalnego
Frage 26
Antworten
-
Tak
-
Nie
Frage 27
Antworten
-
Numerowalny
-
Rekurencyjny
-
Rekurencyjnie numerowany
Frage 28
Frage
Zbiory policzalne:
Antworten
-
Bywają skończone i nieskończone
-
Zawsze skończone
-
Zawsze nieskończone
Frage 29
Frage
Warunek zatrzymania algorytmu genetycznego określany jest przez:
Antworten
-
Liczbę generacji
-
Maksymalną wartości funkcji przystosowania
-
Prawdopodobieństwo reakcji chromosomu
Frage 30
Frage
System formalny jest nasycony gdy:
Antworten
-
Jest kategoryczny
-
Dla każdej dodanej formuły do zbioru aksjomatów system staje się niespójny
-
Jest zwarty
Frage 31
Frage
Funkcja przystosowania to:
Antworten
-
Funkcja dopasowania
-
Miara przystosowania osobnika do populacji
-
Zależność między chromosomami
Frage 32
Frage
Krzyżowanie chromosomów polega na:
Antworten
-
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
Frage 33
Frage
Mutacja musi odbywać się na:
Antworten
-
Co najmniej 2 chromosomach jednocześnie
-
Jednym chromosomie
-
Co najmniej trzech
Frage 34
Frage
Kryterium selekcji (...) chromosomów opiera się na:
Antworten
-
Liczebności genomu w chromosomie
-
Prawdopodobieństwie krzyżowania chromosomów
-
Wartości funkcji przystosowania chromosomu
Möchten Sie mit GoConqr kostenlos Ihre eigenen Quiz erstellen? eigenen Mehr erfahren.