• 홈
  • second-order logic

second-order logic

extension of first-order logic allowing quantification over functions and relations

en-GB/sɪˈkɒnd - ˈɔːdə ˈlɒd͡ʒɪk/
en-US/ˈsɛkənd - ˈɑɹdɚ ˈlɑd͡ʒɪk/

카테고리:

higher-order logic