28 Кб, 600x493Зачем учить логику? И я вообще говорю в целом про любую вещь что принято называть логикой. Пропозициональная, предикатная, мат.логика, модальная, можно добавить еще булеву алгебру. Так как вроде это относят все же к математике, то где она может пригодится в теории и на практике(кроме компуктер сайнс). Вопрос глуповатый, но мне интересно почитать ваши ответы
Рассказываю я билет на колоке, а мне хуяк - НЕПРАВИЛЬНО, а что неправильно то епта? ДУМАЙТЕ. Или еще была тема на экзамене письменном - РЕШЕНИЕ НЕВЕРНОЕ ПРАВИЛЬНЫЙ ОТВЕТ ПОЛУЧЕН СЛУЧАЙНО. Я никогда больше мясным мешкам ебаным не доверю оценивать правильность или неправильность своих измышлений - только формальные методы, только хардкор!
>>99145 (OP)
Зачатки мат. логики (булевы функции) используются при проектировании электронных схем.
Зачатки мат. логики (булевы функции) используются при проектировании электронных схем.
>>99163
Это не одно и то же.
Кстати, добавлю, что логика высказываний может быть использована при аргументации в говорильных дисциплинах, но там всё портит обоснованность операции следования.
>электронных схем
>компуктерсайнс
Это не одно и то же.
Кстати, добавлю, что логика высказываний может быть использована при аргументации в говорильных дисциплинах, но там всё портит обоснованность операции следования.
>>99145 (OP)
Математика и есть по сути прикладная логика. Мы берём логику как языковое средство, как некоторую грамматику и пораждаем на её основе тексты. Ты можешь не учить логику специально, целенаправленно, но тебе придётся выучить её стихийно, имплицитно во время разбора доказательства теорем.
Математика и есть по сути прикладная логика. Мы берём логику как языковое средство, как некоторую грамматику и пораждаем на её основе тексты. Ты можешь не учить логику специально, целенаправленно, но тебе придётся выучить её стихийно, имплицитно во время разбора доказательства теорем.
>>99222
Логика - это про вопросы типа что такое предикат, переменная, квантор, понятие, суждение, истина, доказательство и тому подобные.
Логика - это про вопросы типа что такое предикат, переменная, квантор, понятие, суждение, истина, доказательство и тому подобные.
>>99183
Примерно так же, как написание стихов есть квантовая физика из-за атомов углерода в стержне карандаша.
>Математика и есть по сути прикладная логика
Примерно так же, как написание стихов есть квантовая физика из-за атомов углерода в стержне карандаша.
Логика это хуета, которая не соответствует современным интуициям. Даже если бы все вычисления кодировались бинарным кодом, математика бы все равно не имела никакого отношения к логике.
>>99145 (OP)
Вот есть у тебя высказывание, которое можно превратить в формулу. Если знаешь алгебру логики и у тебя есть какой-нибудь, например, мультиплексор, можешь сделать сам какую-нибудь нужную тебе специфическую хуйню, которая нигде не продаётся и только крафтится специалистами.
Вот есть у тебя высказывание, которое можно превратить в формулу. Если знаешь алгебру логики и у тебя есть какой-нибудь, например, мультиплексор, можешь сделать сам какую-нибудь нужную тебе специфическую хуйню, которая нигде не продаётся и только крафтится специалистами.
>>111474
А скинь приложение с нотацией из книги.
А скинь приложение с нотацией из книги.
>>99225
это метаматематика
это метаматематика
>>99145 (OP)
Рассказываю я же к логике.
Рассказываю я же к логике.
>>99145 (OP)
Мр. А кичится своей объективностью: “Я вижу, следовательно я верю”.
Мр. Б возражает: "Он не верит, следовательно он не видит”.
Формально логически высказывания эквивалентны.
Чем второй возражает тогда?
Мр. А кичится своей объективностью: “Я вижу, следовательно я верю”.
Мр. Б возражает: "Он не верит, следовательно он не видит”.
Формально логически высказывания эквивалентны.
Чем второй возражает тогда?