سوال ۱۱۱ کنکور ارشد علوم کامپیوتر ۱۳۹۷

اهمیت

۰/۵

به چند طریق می‌توان یک مجموعه $n$ عضوی را به ساختاری برای یک زبان مرتبه اول با یک نماد محمولی ۲ـ موضعی و یک نماد تابعی ۱ـ موضعی تبدیل کرد؟ ( $n > ۰$ )

#first-order-logic#model-theory#structure-interpretation#binary-relation#function-counting#counting