1.14. Исчисление предикатов с равенством (в гильбертовской форме). Теорема о полноте и корректности исчисления предикатов (без доказательства). Теорема о компактности в двух формах: про выполнимость теории и про логическое следование из теории.

[technothecow]

No description provided.

[technothecow]

дополнить доказательствами

[deker104]

Я так понимаю в формате этого коллоквиума мы можем вместо доказательств дать ссылки на них, чтобы их можно было просто найти в других источниках

[technothecow]

Я так понимаю в формате этого коллоквиума мы можем вместо доказательств дать ссылки на них, чтобы их можно было просто найти в других источниках

не очень понимаю, что ты имеешь ввиду?

[deker104]

Мы можем на коллоквиум приносить любые материалы, даже электронные

[technothecow]

Мы можем на коллоквиум приносить любые материалы, даже электронные

если я правильно понимаю, то да, все так.. что значит "можем вместо доказательств дать ссылки на них, чтобы их можно было просто найти в других источниках"? в смысле, ты предлагаешь просто вставлять ссылку на доказательство в этом конспекте? я так иногда и делаю, но, по моему сугубо личному мнению, они не всегда приятно сформулированы, и я переписываю их своими словами с упором на простоту понимания

edit: это не говоря и о том, что некоторых доказательств, перед которыми стоят вопросительные знаки, нет в конспекте:(