Questão 1
Questão
Na czym polega dowód formuły A?
Responda
-
Na ustaleniu prawdziwości A
-
Ustaleniu ciągu formuł w którym ostatnia jest formuła A
-
Na stwierdzeniu niesprzeczności A
Questão 2
Questão
Zbiory skończone cechują się
Responda
-
niepoliczalnością
-
naturalną liczbą kardynalną zbioru
-
odwzorowaniem bijekcyjnym ze zbiorem (1, 2, ...,n) (n liczba naturalna)
Questão 3
Questão
Co to jest system niesprzeczny?
Questão 4
Questão
Czy automatyczne dowodzenie twierdzenia polega na ustaleniu odpowiedzi na pytanie
Responda
-
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ą?
Questão 5
Questão
Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , (, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
Questão 6
Questão
W rachunku zdań prawdziwe jest twierdzenie
Responda
-
(B→((B→C)→C))
-
¬¬B→B
-
(B→¬B)
Questão 7
Questão
Skolemizacja formuły to
Responda
-
Redukcja kwantyfikatorów ∀ w formule
-
Redukcja kwantyfikatorów ∃ w formule
-
Przedstawienie formuły w postaci preneksowej z użyciem dowolnych kwantyfikatorów
Questão 8
Questão
Czy zbiory formuł systemów formalnych Pr w postaci preneksowej mają swój ekwiwalent
w formie :
Questão 9
Questão
Alfabet Σ (p1,p2, ..., pn, ...}∪{¬,→ , ∨,∧, ⟷,(, )} jest wystarczający dla określenia formuł, aksjomatów i reguł wnioskowania
Questão 10
Questão
Zbiór P(2,1) oznacza zbiór
Responda
-
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
Questão 11
Questão
Interpretacja zbioru formuł systemu formalnego polega na:
Responda
-
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
Questão 12
Questão
Czym jest maszyna Turinga?
Responda
-
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
Questão 13
Questão
W rachunku zdań prawdziwe jest twierdzenie
Responda
-
((A→B)→(¬B→¬A))
-
(¬B→B)
-
(B→¬B)
Questão 14
Questão
Co to jest system nie sprzeczny?
Questão 15
Questão
Zbiory nieskończone są ekwipotencjalne, gdy
Questão 16
Questão
Co to jest wgląd matematyczny ?
Questão 17
Questão
Dowodzenie automatyczne twierdzeń polega na
Responda
-
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
Questão 18
Questão
System formalny wymaga zdefiniowania
Responda
-
Alfabetu
-
Zbioru aksjomatów
-
Zbioru reguł
Questão 19
Questão
Do metod uczenia się bez nadzoru wykorzystywanych w sztucznych sieciach
neuronowych NIE należy:
Responda
-
Metoda Hebba
-
Metoda “instar learning”
-
Metoda “różnicowa”
Questão 20
Questão
W algorytmach C4.5 i ID3 zbudowanych przez Rossa Quinlana jako przykład
rozwiązania zadania klasyfikacyjnego wykorzystano:
Responda
-
Funkcję entropii
-
Funkcję przynależności
-
Funkcję Gaussa
Questão 21
Questão
Do operacji wykonywanych w ramach Text miningu nie należy:
Responda
-
Podział na kategorie
-
Analiza skupień
-
Ekstrakcja
Questão 22
Questão
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:
Responda
-
Eksploracji danych
-
Text mining
-
Web mining
Questão 23
Questão
Automat komórkowy zmienia stan komórki na podstawie:
Responda
-
Funkcji logitowych
-
Warunków niesprzeczności
-
Reguł sąsiedztwa
Questão 24
Questão
Pojedynczy neuron będący częścią sztucznej sieci neuronowej posiada:
Responda
-
Wiele wejść jedno wyjście oraz wektor wag
-
Jedno wejście wiele wyjść oraz wektor wag
-
Wiele wejść wektor wag oraz wiele wyjść
Questão 25
Questão
Do określenia stopnia przynależności do zbioru w teorii zbiorów rozmytych używa
się:
Questão 26
Questão
Formuła jest aksjomatem specyficznym?
Questão 27
Responda
-
Numerowalny
-
Rekurencyjny
-
Rekurencyjnie numerowany
Questão 28
Questão
Zbiory policzalne:
Questão 29
Questão
Warunek zatrzymania algorytmu genetycznego określany jest przez:
Questão 30
Questão
System formalny jest nasycony gdy:
Questão 31
Questão
Funkcja przystosowania to:
Questão 32
Questão
Krzyżowanie chromosomów polega na:
Questão 33
Questão
Mutacja musi odbywać się na:
Questão 34
Questão
Kryterium selekcji (...) chromosomów opiera się na:
Responda
-
Liczebności genomu w chromosomie
-
Prawdopodobieństwie krzyżowania chromosomów
-
Wartości funkcji przystosowania chromosomu