SI

Beschreibung

Pozdro swiry egzamin na szafe a szafa na suke Ja tylko z pdf przepisalem pytanka, reklamacje nie do mnie
d _ b
Quiz von d _ b, aktualisiert more than 1 year ago
d _ b
Erstellt von d _ b vor fast 5 Jahre
613
0

Zusammenfassung der Ressource

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

Frage
Formuła jest aksjomatem specyficznym?
Antworten
  • Tak
  • Nie

Frage 27

Frage
Zbiór jest:
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
Zusammenfassung anzeigen Zusammenfassung ausblenden

ähnlicher Inhalt

ZSW - egzamin
Adam Kidziński
SI units, scalars and vectors
Ezra Dorland
Histologia I
Oliwier Leśniak
Histologia III
Oliwier Leśniak
SI Units and Derived Units
Charlie Turner
The History of Metrology Timeline
Lydia Barnes
KT2
M G
Biologia komórki - egzamin
Oliwier Leśniak
Histologia II
Oliwier Leśniak
Chemia II
Oliwier Leśniak
Chemia I
Oliwier Leśniak