Все видео канала по искусственному интеллекту: kzfaq.info/get/bejne/pJmneLBotZeVm30.html Вы всегда можете обратиться к нам за консультациями.

Здравствуйте, такой вопрос. Формальная система и Формальный язык как то связаны между собой? Что ни будь входить в состав другого или это разные вещи, не связанные между собой? Просто меня путает когда говорят то Язык предикатной логики первого порядка, то исчисление (ФС) предикатов первого порядка. Между этими терминами есть разница или они одно и тоже значат? Просто для меня. Формальная система - это кортеж из 4 элементов . Формальный язык L - это множество слов на алфавите V. И в каком случаи как называть не понимаю языком предикатов или исчислением предикатов.

снимите пожалуйста видео о Гёделевской нумерации))

У нас есть несущее множество D например люди, есть константы Я и Генерал в сигнатуре в множестве C и всё больше констант нет, только две. И есть одноместный предикат P(x) который означает что x человек. Когда мы пишем высказывание ∀x(P(x)). То в качестве x мы можем подставить только Я и Генерал? Т.к. хоть несущее множество и задано как люди, существуют и другие люди кроме Я и Генерал, но в сигнатуре только есть Я и Генерал и никакие больше значения получается подставить нельзя вместо x? Более общими словами вопрос. Получается что переменные могут принимать значения только из констант C, а несущее множество при интерпретации ни как не влияет на множество значений переменных, так? Область возможных значений переменных задаётся через множество констант C в сигнатуре, а не через несущее множество?

в Киеве тоже был Бузина