Гипотетико-дедуктивная модель научной теории_ семантика термов

Name: Гипотетико-дедуктивная модель научной теории_ семантика термов
Uploaded: 2022-04-09T14:37:24+03:00
Duration: 5 min 32 s
Channel: Вячеслав Моисеев
Description: Определяется семантика термов в рамках индуктивного определения: даётся семантика базисных термов и констант, затем функциональных термов (лекция аспирантов МГМСУ 13 декабря 2017 г.).

12+

14 просмотров

4 года назад

Определяется семантика термов в рамках индуктивного определения: даётся семантика базисных термов и констант, затем функциональных термов (лекция аспирантов МГМСУ 13 декабря 2017 г.).