Все Авторы на букву С

Уважаемый Посетитель!

В этом режиме портал VIKENT.RU позволяет Вам сравнить два любых события или термина Словаря.

Справа Вы уже видите список событий или понятий.

Чтобы открыть любое из событий слева, нажмите на значок рядом с его названием.

Чтобы открыть любое из событий справа, нажмите на значок рядом с его названием.

Новости
Случайная цитата
  • Ограничительные теоремы в интерпретации В.А. Канке
    «Ограничительные теоремы - теоремы, которые в отличие от неограничительных, сужают границы действенности теории. Проиллюстрируем сказанное на примере логики предикатов первого порядка. Чаще других среди «положительных» метатеорем логики предикатов называются следующие. Для логики предикатов существует независимость некоторого множества аксиом (теорема Дж. Маккинси).  Классическое исчисление предикатов первого порядка семантически непротиворечиво, т.е. каждая его формула универсально общезначима....