Tym
Encyklopedia PWN
log. metoda budowania systemu dedukcyjnego polegająca na tym, że w procesie dowodzenia twierdzeń używa się wyłącznie reguł — inaczej niż w przypadku systemu aksjomatycznego, w którym stosuje się zarówno reguły, jak i aksjomaty.
Deep Impact
sonda kosm. NASA, której celem jest zbadanie komety 9P/Tempel-1 (odkryta 1867, okres obiegu wokół Słońca 5,5 roku);
[di:p ı̣mpäkt],
definicja indukcyjna, definicja rekurencyjna,
log. definicja zbioru, w którym dają się wyróżnić elementy wyjściowe oraz elementy otrzymane z wyjściowych;
deflacja
geol. wywiewanie przez wiatr luźnego materiału skalnego (piasku, pyłu);
[łac. deflo ‘zdmuchuję’],
odchylacz wiązki światła, którego działanie jest oparte na zjawisku akustooptycznym;
nadmiarowość kodu genetycznego, przejawiająca się tym, że określony aminokwas jest kodowany przez więcej niż jeden kodon (kodony synonimiczne).
