Вопрос 7 модуля 4
По моему в этом выражении пропущена начальная скобка
∀x(x=1&x=2)⊃(x5–5x3+4x=0))
Упс... И правда пропущено. Простите. Спасибо.
Здравствуйте,
Конспект лекций Модуль_5_2.pdf, стр. 8., цитата
Попробуйте, пожалуйста, обосновать.
"1. Выберем интерпретацию системы PR1... ... Строка, состоящая из n тире, интерпретируется как число n".
Надежда, собственно, обоснование выше представил MOSFET: из определения.
спасибо MOSFET.
Модуль 5_3 страница 2 доказательство теоремы 2.
Пусть B1, B2, . . ., Bm — вывод формулы A a B из Γ, где Bn ...
Спасибо. Должен быть индекс m
Opechatka Модуль 6.2. Математическая индукция стр 2 Вторая формула сверху. Правая часть уменьшаемое. В знаменателе должно быть 6. Izvinite net russkoy raskladki
Вы абсолютно правы! Спасибо за внимательность. Исправили конспект.
Модуль 6.2
вторая формула сверху
1 + 2 + 2 + ... + n = [n*(n+1)]/2
Наверное вместо выделенной 2 должно стоять 3, ведь речь идёт о сумме N первых натуральных чисел.
Верно, должна быть 3. Большое спасибо! Внесли исправление в конспект.
Вопрос 7 модуля 4
По моему в этом выражении пропущена начальная скобка
∀x(x=1&x=2)⊃(x5–5x3+4x=0))
Упс... И правда пропущено. Простите. Спасибо.
Здравствуйте,
Конспект лекций Модуль_5_2.pdf, стр. 8., цитата
Попробуйте, пожалуйста, обосновать.
"1. Выберем интерпретацию системы PR1...
...
Строка, состоящая из n тире, интерпретируется как число n".
Надежда, собственно, обоснование выше представил MOSFET: из определения.
спасибо MOSFET.
Модуль 5_3 страница 2 доказательство теоремы 2.
Пусть B1, B2, . . ., Bm — вывод формулы A a B из Γ, где Bn ...
Спасибо. Должен быть индекс m
Opechatka
Модуль 6.2. Математическая индукция стр 2
Вторая формула сверху.
Правая часть
уменьшаемое.
В знаменателе должно быть 6.
Izvinite net russkoy raskladki
Вы абсолютно правы! Спасибо за внимательность. Исправили конспект.
Модуль 6.2
вторая формула сверху
1 + 2 + 2 + ... + n = [n*(n+1)]/2
Наверное вместо выделенной 2 должно стоять 3, ведь речь идёт о сумме N первых натуральных чисел.
Верно, должна быть 3. Большое спасибо! Внесли исправление в конспект.
Страницы