Вы здесь

Ошибки и опечатки

63 сообщения / 0 новое
Последнее сообщение
Аватар пользователя Ozzymos
Ozzymos
Не в сети

Вопрос 7 модуля 4

По моему в этом выражении пропущена начальная скобка 

 

∀x(x=1&x=2)⊃(x5–5x3+4x=0))

Аватар пользователя Надежда
Надежда
ТУСУР
Не в сети

Упс... И правда пропущено. Простите. Спасибо.

Аватар пользователя Andrey
Andrey
Не в сети

Здравствуйте,

Конспект лекций Модуль_5_2.pdf, стр. 8., цитата

"Так, например, формула -P-R- имеет истинную интерпретацию 2 + 1 >= 1, но это не теорема."
 
очевидно должно быть два тире перед P.
Аватар пользователя Надежда
Надежда
ТУСУР
Не в сети

Попробуйте, пожалуйста,  обосновать.

Аватар пользователя MOSFET
MOSFET
Не в сети

"1. Выберем интерпретацию системы PR1...
...
Строка, состоящая из n тире, интерпретируется как число n".

Аватар пользователя Andrey
Andrey
Не в сети

Надежда, собственно, обоснование выше представил MOSFET: из определения.

спасибо MOSFET.

Аватар пользователя Ozzymos
Ozzymos
Не в сети

Модуль 5_3 страница 2 доказательство теоремы 2.

Пусть B1, B2, . . ., Bm — вывод формулы A a B из Γ, где Bn ...

 

Аватар пользователя Надежда
Надежда
ТУСУР
Не в сети

Спасибо. Должен быть индекс m

Аватар пользователя shubenkav1962
shubenkav1962
Не в сети

Opechatka
Модуль 6.2. Математическая индукция стр 2
Вторая формула сверху.
Правая часть
уменьшаемое.
В знаменателе должно быть 6.
Izvinite net russkoy raskladki

Аватар пользователя Мария Перминова
Мария Перминова
ТУСУР
Не в сети

Вы абсолютно правы! Спасибо за внимательность. Исправили конспект.

Аватар пользователя Ozzymos
Ozzymos
Не в сети

Модуль 6.2

вторая формула сверху

1 + 2 + 2 + ... + n = [n*(n+1)]/2

Наверное вместо выделенной 2 должно стоять 3, ведь речь идёт о сумме N первых натуральных чисел.

Аватар пользователя Мария Перминова
Мария Перминова
ТУСУР
Не в сети

Верно, должна быть 3. Большое спасибо! Внесли исправление в конспект.

Страницы