-
2.
nauk. ujmowanie czegoś w postaci ściśle określonych, precyzyjnych formuł wyjaśniających i porządkujących jakieś zjawiska -
CZŁOWIEK JAKO ISTOTA PSYCHICZNA
Działalność intelektualna człowieka
nazwy działań intelektualnych człowieka -
- formalizacja opisu
-
Prowadzone przez nią badania naukowe dotyczą teorii modeli skończonych oraz teoriomodelowych własności logik nieklasycznych, w szczególności logiki niefregowskiej (wprowadzonej przez prof. Romana Suszkę jako próba formalizacji „Traktatu filozoficzno-logicznego” Ludwika Wittgensteina).
źródło: NKJP: Ewa Nowakowska: Podbijanie świata głową, Polityka 2003-10-04
Nie dało się to pogodzić z dążeniem do całkowitej formalizacji logiki i zamienienia jej w matematykę uniwersalną (bez rezygnacji z pewnych koncepcji treściowych).
źródło: NKJP: Roman Murawski: Filozofia matematyk : zarys dziejów, 1986
Wobec tego mamy tu dwie różne propozycje zapisu zdania (18) - formuły (19) i (20). Która z nich jest poprawna? Odpowiedź jest następująca: poprawne są obie formalizacje.
źródło: NKJP: Zygmunt Ziembiński: Logika praktyczna, 1958
-
część mowy: rzeczownik
rodzaj gramatyczny: ż
liczba pojedyncza liczba mnoga M. formalizacja
formalizacje
D. formalizacji
formalizacji
neut formalizacyj
char C. formalizacji
formalizacjom
B. formalizację
formalizacje
N. formalizacją
formalizacjami
Ms. formalizacji
formalizacjach
W. formalizacjo
formalizacje
Inne uwagi
Zwykle lp