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