семантика

Семинар Ф-штурма: "Теоремы Геделя и вопрос истинности высказываний", 19.01.13

› Видео

Обсуждается семантическая сторона теорем Геделя о неполноте в аспекте вопроса истинности высказываний. Первый пробный ("первый блин комом") семинар на тему "негуманитарной философии". Проблемы Гильберта. Формализация математики. Непротиворечивость и полнота формальных систем. Семинар "Философского Штурма". Состоялся 19.01.13.

Аватар пользователя Галиев Рустам

(doc) Разработка онтологии: руководство по созданию Вашей первой онтологии {не много другие онтологии :) }

(doc) Разработка онтологии: руководство по созданию Вашей первой онтологии

Разработка онтологий 101: руководство по созданию Вашей первой онтологии

Разработчик онтологий может провести диагностику разрабатываемой онтологии с помощью

Chimaera, чтобы определить соответствие общим способам ...

RSS-материал