logiki

Encyklopedia PWN

indukcja
[łac. inductio ‘wprowadzenie’],
log. rozumowanie charakteryzujące się progresywnością składników i generalizacją wniosku.
Iwanicki Józef, ur. 12 III 1902, Jelonek k. Opoczna, zm. 4 VIII 1995, Warszawa,
filozof, ksiądz;
Janiszewski Zygmunt, ur. 12 VII 1888, Warszawa, zm. 3 I 1920, Lwów,
matematyk; współtwórca polskiej szkoły matematycznej.
inform. sformalizowany system notacyjny wyrażania informacji.
inform. narzędzie do formułowania programów dla komputerów; jest językiem formalnym, którego składnia określa zasady zapisu programów (w sposób jednoznaczny i łatwy do analizy), a semantyka przypisuje programom ich interpretację (określa efekty działania programu zapisanego w języku programowania).
Juvonen Helvi, ur. 5 XI 1919, Iisalmi, zm. 1 X 1959, Helsinki,
poetka fińska; reprezentantka poezji metafizycznej;
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia