ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f 

Выкладывают записи зума с данного семинара?

Приветствую, можете пожалуйста помочь понять, как в гильбертовском исчислении классической первопорядковой логики доказать теорему: ∃хR(x,x) > ∃x∃yR(x,y) Где > - импликация? Х...

Можете пж вкратце объяснить, чем подход Бурбаки к математике и ее основаниям отличается от формализма и отличается ли он?

Кто-нибудь знает, есть ли приложение, которое переводит естественный язык в язык логики предикатов? Хотя бы на примитивном уровне. Любопытно глянуть

Насколько трудоёмко вкатиться в Coq, если ранее программирование не изучал?

Внезапный оффтоп: есть смысл изучать метод резолюций, если не планируешь быть прогером на Прологе?

Верно понимаю, что Edukera нужно на пк как прогу устанавливать с сайта чтобы ей пользоваться?

А что такое нестандартная модель?