Weryfikacja formalna – stwierdzenie poprawności algorytmu w oparciu o formalne metody matematyczne. Formal Verification in Industry. (ang.). Introduction...

oprogramowania. weryfikacja formalna – stwierdzenie poprawności algorytmu. Inne: weryfikacja hipotez statystycznych – sprawdzanie sądów o populacji. weryfikacja – działanie...

typów, weryfikacja programów (logiki dynamiczne), różne aspekty złożoności obliczeniowej, sieci przełączające (funkcje boolowskie), formalna semantyka...

szczegółowości i weryfikacji formalnej (EAL - Evaluation Assurance Level), począwszy od EAL1 (tylko testy funkcjonalne) aż do EAL7 (formalna weryfikacja projektu...

zależności od tego jak złożona jest gramatyka formalna opisująca dany język. Osobny artykuł: Gramatyka formalna. Gramatyki formalne są najpopularniejszym...

Niektóre z zamieszczonych tu informacji wymagają weryfikacji. Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego...

Niektóre z zamieszczonych tu informacji wymagają weryfikacji. Uwagi: a) Jak Eudoksos zdefiniował liczby rzeczywiste, nie mając definicji liczb naturalnych...

logika jako metoda porządkowania myślenia, jego formy, a nie treści (logika formalna). Arystoteles stworzył zupełny system tak zwanej teorii sylogizmu, która...

percepcja postrzeżenie rozumowanie wyjaśnianie wnioskowanie sprawdzanie weryfikacja konfirmacja falsyfikacja koroboracja noeza iluminacja gnoza objawienie...

ksiąg wieczystych rządzi kilka zasad. Najważniejsze z nich to: jawność formalna – każdy może w obecności pracownika sądu zapoznać się z treścią księgi...

przez Plechanowa i popularyzowane przez Trockiego twierdzenie, że „logika formalna stosuje się do zjawisk w spoczynku, zaś logika dialektyczna – do zmian”...

kwestii, zwłaszcza wykraczających poza empirię. Był zdania, że logika formalna – zwana przez niego analityką – obowiązuje jedynie podczas dyskursu dotyczącego...

pozwalających osiągnąć zamierzone rezultaty. deklaratywna lub opisowa – może być formalna i nieformalna. Dotyczy opisu stanu/sytuacji obiektów/działań oraz pojęć...

lub wyłączane przez strony trzecie. Ponadto, Tezos ułatwia formalną weryfikację, technikę używaną do poprawy bezpieczeństwa poprzez matematyczne udowodnienie...

zorientowany przeciwnie. Niektóre z zamieszczonych tu informacji wymagają weryfikacji. Uwagi: niech ten, kto dobrze orientuje się w tym temacie, sprawdzi w...

należą: Przeprowadzenie naborów wniosków o dofinansowanie Weryfikacja techniczna, ocena formalna i merytoryczna wniosków Podpisywanie umów z beneficjentami...

Śląska, co było związane z podpisaniem pokoju z Czechami. Od tej pory znika formalna zależność ziem śląskich od Rzeczypospolitej. Osobny artykuł: Królestwo...

(udowodniona przez Grigorija Perelmana), hipoteza Goldbacha. Matematyka formalna opiera się na prawdach dowodliwych. W matematyce dowolna liczba przykładów...

Świadkiem może być oczywiście lista kolejnych miast na wynikowej trasie. Weryfikacja może przeprowadzona w czasie wielomianowym przez deterministyczną maszynę...

języka Ada 95. Język jest zaprojektowany w taki sposób, aby możliwa była formalna analiza oraz dowodzenie poprawności kodu. Usunięte zostały z niego wszelkie...

na pomniku znajdowało się tylko nazwisko jej męża. Nie jest możliwa weryfikacja informacji o pochowaniu Gładkowskiej w tym właśnie miejscu, nie ma bowiem...

Techniczne, 2002, s. 51-81. ISBN 83-204-2678-2. (pol.). Tomasz Truderung: Formalna weryfikacja protokołów kryptograficznych. [dostęp 2010-02-08]. (pol.). Błędy...

Instytucie Podstaw Informatyki PAN na podstawie rozprawy pt. „Komputerowa weryfikacja gramatyki Świdzińskiego”, przygotowanej pod kierunkiem prof. Janusza...

na bardzo niskim poziomie teorii, tj. już w pomiarze danych. Wobec tego formalna złożoność teorii socjologicznych musi być ogromna, nawet gdy w swoim werbalnym...

Polonica (w latach 1960–2009 pod nazwą "Notatki Ornitologiczne") Formalna weryfikacja krajowych stwierdzeń faunistycznych prowadzona od 1972 r. przez Komisję...

najlepszymi praktykami CMMI. Spośród nich ocena klasy A jest najbardziej formalna i jako jedyna może skutkować oceną poziomu. Zespoły oceniające wykorzystują...

powoduje podwójne zobowiązanie państwa członkowskiego: jest to zarówno formalna zgoda na stosowanie ustaleń konwencji, jak i wykazanie chęci akceptacji...

Ostatecznie Tęcza została połączona z Nadodrzem w listopadzie 1978 roku. Formalna nazwa brzmiała MLKS Nadodrze – Tęcza, ale w użyciu pozostała nazwa Nadodrze...

figurach retorycznych). Z kolei właściwa supozycja może być materialna lub formalna, w zależności od tego, czy odnosi się do swojego zwyczajnego pozajęzykowego...

wprowadził podział na dwojaką definicję wiary: formalną i materialną. Formalna definicja mówi o wierze jako o byciu pochwyconym przez jakąś rzeczywistość...

systemów czy systemologia) oraz sposób traktowania istoty badań (teoria formalna, metodologia, sposób myślenia, sposób patrzenia na świat, poszukiwanie...