индуктивная лемма
Смотреть что такое "индуктивная лемма" в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
ДИЛЕММА — (греч. , от дважды и лемма, предположение, посылка), форма умозаключения (логич. вывода), посылки (исходные допущения) которого имеют гипотетич. (условную) и дизъюнктивную (разделительную) структуру. Если прописными лат. буквами… … Философская энциклопедия