 Nie znaleziono szukanej frazy! Poniżej znajduje się fraza najbardziej przypominająca szukaną.
formalizm
formalizm - lub formalizacja, w najbardziej ogólnej interpretacji systemowo-konitywistycznej, to sposób postępowania, procedura, lub ich produkt ściśle przestrzegający uprzednio zdefiniowane i zaakceptowane reguły.
Celem formalizmu/formalizacji jest zapewnienie jednoznaczności rozumienia lub interpretacji komunikatów wymienianych między ludźmi, a także między człowiekiem a maszyną/komputerem, zgodnie z intencją ich nadawcy.
Dlatego też przy komunikacji złożonej i ważnej formalizuje się informacje, wiedze i preferencje (IPK - information, preferences, knowledge model) w poleceniach, pytaniach i odpowiedziach.
Formalizacja polega na użyciu symboli graficznych, językowych lub behawioralnych o znanych i zaakceptowanych definicjach, uznanych w danej dziedzinie jako jednoznaczne. W szczególności, formalizacja spełnia podstawowe zasady logiki. W tym sensie formalizacja może byc przeprowadzona na różnych poziomach ogólności.
Np. zdanie "Na ziemi istnieją koty” jest ogólne, ale formalnie poprawne i informacyjnie prawdziwe jeśli: - przez ziemię rozumiemy glob ziemski, - kot jest uprzednio zdefiniowany jako jakikolwiek kot domowy o cechach wyłącznie jemu przysługujących.
Inne hasła zawierające informacje o "formalizm":
Kwark
...
Stan podstawowy
przez to, że ma najmniejszą energię. W fizyce atomowej, gdzie rozpatruje się formalizm
elektrodynamiki kwantowej
, okazuje się, że stany o wyższych energiach oddziałują z ...
Georges Lemaître
•
Horyzont zdarzeń
•
Osobliwość grawitacyjna
•
Czarna dziura
RównaniaGrawitacja liniowa • Parametryczny formalizm postnewtonowski •
Równanie Einsteina
•
Równania Friedmana
• Formalizm ADM • ...
Siła odśrodkowa
...
Fale grawitacyjne
•
Horyzont zdarzeń
•
Osobliwość grawitacyjna
•
Czarna dziura
RównaniaGrawitacja liniowa • Parametryczny formalizm postnewtonowski •
Równanie Einsteina
•
Równania Friedmana
• Formalizm ADM • ...
Czarna dziura
•
Horyzont zdarzeń
•
Osobliwość grawitacyjna
• Czarna dziuraRównaniaGrawitacja liniowa • Parametryczny formalizm postnewtonowski •
Równanie Einsteina
•
Równania Friedmana
• Formalizm ADM • ...
Teoria mnogości
aksjomatycznej teorii mnogości) próbowano oprzeć matematykę na pojęciach liczby i wielkości. Zobacz też
formalizm
intuicjonizm
logicyzm
Linki zewnętrzne
Logika i teoria mnogości
(materiały dydaktyczne
MIMUW
na studia informatyczne ...
John von Neumann
komórkowych
(w które pewien początkowy wkład miał także
Stanisław Ulam
), i stworzył formalizm matematyczny
mechaniki kwantowej
. Uczestniczył w
projekcie Manhattan
. Przyczynił się do rozwoju ...
Prędkość kątowa
...
Efekt Coriolisa
...
Inne lekcje zawierające informacje o "formalizm":
Algorytmy sortujące - sortowanie przez scalanie, sortowanie przez zliczanie (plansza 2)
wielu dziedzin matematyki, był głównym twórcą teorii gier, teorii automatów, i stworzył formalizm matematyczny mechaniki kwantowej.
...
019. Narodziny i rozprzestrzenianie się chrześcijaństwa (plansza 6)
...
060. Koncepcja Etyczna M. Schelera (plansza 11)
height=380 width=770 >
Koncepcja Etyczna M. Schelera
Immanuel Kant
Scheler skrytykował formalizm Kanta w etyce, czyli budowanie jej na imperatywach i poczuciu obowiązku, ...
|
