Пятница, а значит можно пить пиво. А не четверг же, да пофиг. Последний рабочий день в году и нужно пить пиво.
Привет.
Ч кажется вник в проблему, почему при изучении математики у меня возникали проблемы с доказательствами. Во первых, я забыл чем занимался и что такое доказательство в целом.
Доказательство - это сведение каких либо предположений к утверждениям, истинность которых уже установлено. В математике применяется аксиоматический метод доказательства - в нем мы применяем определенный набор аксиом, истинность которых мы примимаем без доказательств. И на их основе мы строим теоремы. Те мы "трансфоомируем" одни истинные утверждения в другие. Например, доказав что неравенство не меняется, если в левую и правую часть прибавить одно и то же число, мы можем преобразовывать равенство и неравенство в другое неравенство.
Те если учебник требует доказать теорему, выводом которого оно является, мы смотрим на посылки и записываем связанные с ними выражения. И с помощью таких вот преобразований мы выводим то, что от нас требует доказываемая теорема.
Это работало до главы, где описываются целые числа. До нее мы брали выводы доказанных теорем и преобразовывали их в новые. Но в целых числах и в последующих за ними сеченияих при доказательствах используется "взятые из потолка" выражения и у меня появились некоторые предположения как автор учебника все это делает, также у меня появились некоторые докадки по поводу порядка следуемых в книге теорем.
Интуиция подсказывает, что мне нужно более плотно заняться матлогикой и при прочтении материала у меня возникло пару вопросов.
А) формальная логика отличается от содержательной следующим образом.
1)строго определенные аксиомы. В содержательной логике разве аксиом нет? По Челепанову истины делятся на непосредственно очевидные и посредственно очевидные. Непосредственно очевидные истины характеризуются тем, что их истинность устанавливается наблюдениями. Посредственно очевидные истины усматриваются посредством других истинных суждений. Но разве аксиомы/теоремы не схожи с непосредственно истинными суждениями/посредственно истиными суждемиями? Или сходство обманчиво только наличием силлогизмов и в формальной и содержательной логике? Просто мне сложно провести черту между формой и содержанием. И разницу между законами их логик.
Я помню что форму характеризует объем понятия - множество всех вещей, попадающих под его содержание. А содержание характеризует набор признаков, из которых состоит это понятие.
Например: объем понятия "мобильный телефон" состоят все устройства, предназначенные для работы в сотовых сетях и они имеют возможность перемещаться силой одного человека. В него входят отдельные представления-экземпляры, попадающие под описание. Содержание же понятия "мобильный телефон" может быть представлен набором признаков "неживой, рукотворный, устройство связи, приемник, передатчик, сделан из пластика, айти..."
То есть формальное доказательство может иметь в выводе форму чего бы это ни было? А содержательное доказательство доказывает все на конкретном примере?
Те формальное доказательство зависимости, допустим, площади круга от его радиуса будет выражается утверждениями, выведенными из евклидовых аксиом, а содержательное можно будет провести линейкой и циркулем?
В этом разница?
Хотя что то меня понесло и я так и не понял, есть ли в содержательных доказательствах аксиомы или нет. Хотя если рассматривать пример с кругом, то мы можем, наверное, вывести формулу если перемерием достаточное число кругов.
Но при этом не воспользуемся аксиомами
В этом соль?
2) В формальной логике есть строго выверенный набор форм рассуждений, которые мы можем вести. Тут вроде все ясно. В содержательной логике мы можем доказывать на естественном языке, стихами, рисовать картинку, схемы, графики. Мы можем на доске, что sin^2(a) + cos^2(a) = 1 имеет график круга и что есть заменить тригонометрические функции на просто числа из оси икс и игрек, то можем сделать вывод что функция рисования для руга именно такова. В формальном доказательстве мы не располагаем графическими представлениями же в принципами. Только заранее определенным языком
Это так?
И третье, тк все наше мышление в формальных доказательствах завязано на аксиомах, то в выводе будут только утверждения, которые будут формировать объем понятия, насчет его содержания нам ничего не известно: сколько представлений подходят пол получившуюся форму, какие у них будут другие признаки, не относящиеся к форме:нам не ищвестно. Фоомулы закона Ома могут нам предсказать, какова будет сила тока, протекающая через резистор при приложанном к нему напряжением, но она не скажет, какой объем производителей его выпускают, какой объем химических элементов входят у его состав, это все формы закона ома не касается.
В содержательной же логике вывод указывал на конкретный резистор с конкретной маркой
Или я что то путаю?
То есть при содержательном доказательстве мы постоянно сравниваем математические объекты с чем то реальным?
Я запомнил понятие последующего загибая пальцы на руках или мысленно представляя числовую линию. Или то, что истинность неравенства не меняется, если в левую и правую часть прибавить одно и то же число, я представлял себе в голове картинку весов, на одной половине которого лежит кучка и на другой. Если мы положим по одинаковой гирьке и туда и туда, то весы не шелохнуться.
Это солержательные (неформальные) доказательства все?
То есть, если вышесказанное верно, то я пытался до этого пропихнуть содержание в формализм?
И еще вопрос: что такое синематическая и дедуктивные системы?
То есть среди множества формул (подмножества алфавита, тут я могу путаться, тк еще глубоко не вникал) мы выделяем последовательность символов, допустим "лалалладктдпштвьвл" и вне формальных рассуждений уже его как то называем? Только это?
Хохлов разве не запретили?
Где то слышал. А ты че хохол?
Думаю я тебя встречал раньше, но не помню где.
Так и знал, что это ты хохлозависимый. А раз там не было ссылки значит ты в форт ходил. А значит ты ваван.
>>260472259
Рассказывай что-нибудь.
А я люблю когда понос. Это же приятно. Я всегда радуюсь когда у меня понос. Дристня так прикольно вылетает. Особенно я люблю когда она выходит под напором, тогда она рекашетит от днища унитаза и ударяет мне в зад, это так прохладно и приятно, особенно меня веселит, когда некоторые капли вылетают наружу и падают на пол. Тогда я могу уверенно сказать что покакал на славу и день не прошёл зря.
Отвратительно, просто отвратительно. У тебя и вправду какая-то фиксация на говне.
>>260472621
А я нюхаю свой пердеж. Люблю плотно поесть, сесть за ноут, открыть двач, и смачно спустить газ. Особо острый запах получается, когда говно уже вот-вот, на выходе, и охота срать. Я всегда, когда пердну, подношу ладонь к заду и жадно зачерпываю воздух, поднося аромат к носу. Это уже вошло в привычку. Даже при людях я, бывает, забываю что такое приличие. Просто стою и балдею…
Мдаааа. Копрофаг, спок.
Да ладно, чего ты. Дай человеку отдохнуть.
А тебе такое не нравится? Круто же.
Кому нравяться какашки? Только больным на голову
Ну не забывай где ты находишься то. Хотя, если ты попросишь я готов начать меняться...
Да пох. Только сильно не стоит увлекаться, а то всех распугаешь. Впрочем тут и так никого нет.
Я, кстати, без писяндрика бы и не понял, что нас разрешили, писал из под моста. Где сказали? Обычно же с 31?
1. Зачем идти туда, куда не хочешь?
2. Кто такой писяндрик?
3. Пнул тебя.
Повысить ЗП хочу, а попди я в облаву я её себе не повышу.
Лисошиз.
Обиделся.
Хороший ты все таки человек. За это и люблю тебя.
>>260473237
На какую тему хочешь общения?
>>260473476
Нач тел увидел. Испугался, отправил не все, что хотел.
>А почему у каждого треда свой Вайпер? Зачем некоторые люди создают уютные треды, которые вайпают, но не мешают общению внутри?
Ну ради повышения можно пару часиков потерпеть.
Не знаю лисошиза.
Ну и дуйся как дурак)
>>260473494
Не надо гомо)
Надо
Надо пить не пиво, а вино.
В нем дохуя витаминов и они в целом снимают абстиненцию за счет этого. Палю годноту, сейчас в ДА по акции - 260р.
Точно они, родину защищают. Что расскажешь нигер?
>>260473563
Так сложилось исторически. Я сам пришел сюда вайпать, а в итоге остался и 2 года сижу.
Гомокартинки или гомопосты?
>>260473730
Тюрьма меняет людей получаеца?
Бывают же дауны
>>260473689
У меня десять бутылок на праздничные дни. А сегодня прост типа четвергничная "пятница"
>>260473835
Да уже не важно, я пойду мультики смотреть. Давай удачи.
Я вижу что ты горишь...
Полыхающая жеп от гомодрисня плиз
Ты еше кто?
В этом иъъ треде жеп и гомодрисни нет
Слава Украинов
Обязательно. Хотя он вроде не чернел...
>>260473884
Ладно, удачи.
>>260473939
Никто. На что я рассчитывал вступая в бой с кадровым офицером прошедшим горячие точки...
Я не рекомендую разгоняться дешевым пивом.
Голова потом может болеть, лучше начать с дешевого вина.
Или у него сейчас начнет кожа сыпаться и вылупится негр, может это не мгновенный процесс а как у бабочки.
>>260474115
Точно так. Добро пожаловать няша:3
Блин, дома такая с Лейн есть. Прийду – скину. Оч зашла.
>>260473694
Блин, вот с тобой бы заобщаться. Мне аж жалко за работу садится.
>>260473630
Да)
Тред евойный – >>260440008 (OP) . Видел раньше?
Поцеловал
Доступные команды:
Стикеры и маски
/newpack - создать новый набор стикеров
/newmasks - создать новый набор масок
/newanimated - добавить набор анимированных стикеров
/addsticker - добавить стикер или маску в набор
/editsticker - редактировать смайлы или координаты
/ordersticker - изменить порядок стикеров в наборе
/setpackicon - задать иконку для набора
/delsticker - удалить стикер из набора
/delpack - удалить набор
Статистика
/stats - статистика по стикеру
/top - топ стикеров
/packstats - статистика по набору стикеров
/packtop - топ наборов
/topbypack - топ стикеров в наборе
/packusagetop - статистика использования Ваших наборов
/cancel - отменить текущую операцию
/newpack
>>260474225
Ууу, сука, вот ведь пидоры, не то что наши орлы!
>>260474246
Всему свое время, работать то надо, закончишь и с чистой душой можно приступать к отдыху, как грица делу время - потехе час.
>>260474309
Ставлю говно на то что он почернеет от проникновения швабры. Или мб трубу какую нибудь засунут и туда краску зальют чтобы изнутри все окрасилось.
Зонд засадят в виде швабры с краской и усе. Новорусский готов. Жду когда нифедова припекут, тогда труъ лолды будут ловить столько лулзов с его швабрации. Ему есть за что полететь за ховой
Вот так протестируют технологию, отточат чтобы безопаснее было и будем все черные альфачи с большими хуями. А вы ругаетесь мол пытки.
Какая красивая девочка, хочется ее обнять.
Кто о чем - петухи о петухах.
Будущее насталг а мы не заметили. Утопия.
Гражданин США?
Точно. Ему наверняка еще и хуй укоротили при отбеливании, наверное в депрессию впал и в итоге имеем что мы имеем.
Так обними, анон! Не стесняйся
Убил бы тебя за такое, прямо копье тебе в глотку закгнать.
Надо будет купить за пару $ твой АЙПИ и наведасться к тебе черной ночью (чтобы ты меня не увидел)
Обниваю красивую девочку (тебя)!
Im тоже негра.... Why черный going ту май дом энд? Насрет piece оф говно под door ?
Ты чего... ты же другую девочку хотел обнять!
You a rasisT!
Ну все, я списываюсь с urina moderators and i'am on the way!
Your mother waiting me on this hollyday!
Ну что же, будем обнимать тебя, какая красивая девочка - Furude.Rika.600!11
Шиииитттт, май mother вмерла five ерс назад. Навести могилу homie по bratsky.
Ставьте плюс, кто согласен учавстовавть!
Вот бы она покакала мне в ротик, наверняка у неё сладкие какашульки.
Твои фоточки?
Это приятно. Но та девочка может обидеться из-за этого... вдруг ты ей нравишься? Ты об этом не подумал?
ЧМОК
Поцеловал девочку в щечку!
>>260475686
Ээ вы че...
Опять ты?
У тебя буфер меняется хоть раз?
ОБНЯЛ ДЕВОЧКУ
Отстань от меня, ты плохой, ты целовал другую
Насрали тебе в рот.
Мы ведь почти не знакомы... так нельзя! Еще и ту девочку обидел, как тебе не стыдно!
>>260475790
Простите, это он сам...
Я другой анон, поцеловал тебя в щечку!
Давай целоваться им назло?!
Просто берешь и без задней мысли знакомишься.
Ууу, шельма, соблазнила и увела мужика как так можно, ты плохая
>>260475986
Ок тьмок
Боже, что же делать!
Обнял тебя за талию.
Чмокнул тебя в щечку!
Нет.
А можно с тобой познакомииться?
Пидора ответ.
Но он сам... я ничего не делала! Это он виноват!
>>260476056
Ты что делаешь, наглец? Тебя не учили как себя вести с девочками?
Чмоки чмоки чмок, красивая девочка, приятно с тобой общаться, а у тебя есть мальчик?
Не надо тут оправдываться, это ты виновата, охмурила и спровоцировала
Можно попросить тебя?
Ко мне тут уже пристает какой-то наглец... вы не такой?
Хочется быть твоим мальчиком!
Нет, я бы хотел посросить всего лишь один поцелуйчик!
Мне стыдно за все это... но я правда не виновата...
>>260476288
Можно, а о чем?
>Нет, я бы хотел посросить всего лишь один поцелуйчик!
Зачатие хохла?
>Можно, а о чем?
О поцелуйчике.
>КАК ЖЕ ХОЧЕТСЯ ОБНЯТЬ КРАСИВУЮ АНИМЕ ДЕВОЧКУ!
>ОБНЯЛ КРАСИВУЮ АНИМЕ ДЕВОЧКУ
>ПОЧЕМУ АНИМЕ ДЕВОЧКИ ТАКИЕ ХОРОШИЕ?!
А ты ростом 190?
>>260476370
Виновата, все теперь, ну ты попала
>>260476314
>А ты ростом 190?
>>260476370
>Виновата, все теперь, ну ты попала
Оп, как раз на пивнячок зашёл, выпью кружечку другую и затрепу лещика, наверное:3
>Оп, как раз на пивнячок зашёл, выпью кружечку другую и затрепу лещика, наверное:3
Скуфа, ты ошибся крымзагоном.
>Скуфа, ты ошибся крымзагоном.
>Оп, как раз на пивнячок зашёл, выпью кружечку другую и затрепу лещика, наверное:3
Ахпхп, не угадал)
Мне 21 и я опрятный среднекун, просто заглядываю иногда к товарищу, он пивняк держит
>Ахпхп, не угадал)
>Мне 21 и я опрятный среднекун, просто заглядываю иногда к товарищу, он пивняк держит
>Ахпхп, не угадал)
>Мне 21 и я опрятный среднекун, просто заглядываю иногда к товарищу, он пивняк держит
>0прятный
Свинина ты
Хуя, а я даже не заметил, что тред завайпали. Почему двач так не любят подпивасов? Заметил вагон ненависти в их сторону, может это как раз у желчных школозожников что то не в порядке?
>Хуя, а я даже не заметил, что тред завайпали. Почему двач так не любят подпивасов? Заметил вагон ненависти в их сторону, может это как раз у желчных школозожников что то не в порядке?
>Ненависть к подпивасам
Я еще в 18 году застрял, так что скуфыня уходи.
А ты конина. Ебать, первые пару месяцев эти перебрасывание саловозами было ещё забавным, сейчас выглядит ебать тухло
зумеры не могут в паинт.....
>А ты конина. Ебать, первые пару месяцев эти перебрасывание саловозами было ещё забавным, сейчас выглядит ебать тухло
>зумеры не могут в паинт.....
>Дядь, не подхрюкивайте.
А ты что, мальчиков по росту выбираешь? Как же так можно...
>>260476409
Так ты уже поцеловал... еще и разрешения не спрашивал. Издеваешься, да?
>>260476348
Только один? Я подумаю
А что? Все так делают. Это база
Кто так делает? Только глупенькие! Я вот так не делаю, например.
Я не понял? Там кого то забанили? За что?
Вайп? Или аватарки снова вне закона?
Нет, как я поняла, она мне отвечала, на вот этот пост >>260477766
Просто случайно цифру одну удалила, наверное.
>Я не понял?
А нам от куда знать?
Сука, какое же тупорылое животное за аватаркой.
Случайно одна цифра из поста пропала просто
>>260478168
Ты не проецируй, может это ты глупая
Но я ведь не выбираю мальчиков по росту! Так только глупенькие делают. А я не делаю так, значит, я не глупая. Логика ясна?
Карланша, спок.
И на что ты готова, чтобы пописать?
Тебе запрещено срать и ссать до нового года, доча.
Нет, это ты глупая. Чем выше тем лучше, дети будут выше, генетика человечества станет лучше
Проиграл с этого генетика. Выйди замуж за негра тогда уж
Иди свой тред бампай
Я тебе запрещаю обзываться.
>>260478589
Глупенькая! Чем лучше? Лучше умненьких, нежных и добрых выбирать, от этого больше пользы, чем от дурацкого роста. А дети не нужны, понятно?
На многое
>>260478584
А после нового года ты вылижешь весь ананасик и лисички?
Накопать 3 ведра картошки готова?
Ну ты и дура конечно, капец в голове творится, пнула тебя
>>260478776
Ок
Извинись, сестричка!
>Хрюкайте
Я лисоеб и цим пишаюсь
Тяночку хочется...
Чтобы обмазываться аксиомами и теребить друг другу формальную логику.
Новогодняя вольница, десу?
Очень интересно!
Миша хрюкни.
Я не Миша, Миша это еблан
Ты Леха из реакшена?
Мм, попа Куруми мягка и приятна.
Добрый вечер. Видимо, вы залетели в пустой тред, здесь никого нет.
Ну что не так! Я же год ждал Курому!
Теперь здесь буду я, кушать печеньки.
А печеньки вкусные? Почему бы не кушать их с молоком? Так вкуснее!
Бля, не надо.
>>260487758
Я всегда кушаю с молочком, а ты?
Ну значит только праздники лапать жопеньку Куромы.
Задумайтесь. Вам весело от этой рожицы? Но это совсем не весёлый мем и не сойбой. Это лицо изначально было наименовано как Вайомингский Крикун или Вайомингский Фрик! Это его истинные имена.
Это лицо придумал и нарисовал - американский серийный убийца, жуткий человек, буквально монстр. В 90-х годах 20 века века этот психопат совершал убийства и терроризировал жителей города Ларами, штата Вайоминг и нескольких других городах этого штата, США, он зверствовал на протяжении нескольких лет. Расследование ФБР пришло к тому, что он запытал и убил 34 человек, отдавал предпочтению таким инструментам как лом, кувалда и тесак. Полицейские Вайоминга перешептывались меж собой, уж не из Ада ли пришёл этот преступник.
Всё-таки убийца был пойман и арестован, заключен в тюрьму города Роулинс, но в один день надзиратели внезапно нашли его мёртвым в камере, без следов насилия, причина смерти остаётся жуткой загадочкой по сей день. После себя маньяк оставил только нарисованного на стене странного человека с фриканутым выражением лица, во время распространения интернета оно стало популярным мемом.
А ты часто кушоеш печеньки? Сколько раз в день?
Тоже только с молочком!
Та зашо бля? Пойду сосиску съем.
>>260488480
Каждый час съедаю по одной печеньке.
>>260488742
А чикаладки любишь?
>>260491038
Лень.
> Та зашо бля?
За милоту.
Приятного.
> Каждый час съедаю по одной печеньке.
Кстати, а по свиной или говяжьей?
Паситба.
>>260494181
По человеческой
привет всем кто киряет итт
спасибо, есть еще?
класные нигры, моар
Я ебу?
или тебя ебут, смотря кто из них ты на этиъ фотках
Очень люблю сладное! А ты?
Люблю белый шоколад, у меня в холодильнике лежит.
У меня сперма сладкая, хошь попробовать?
Тред хуйня, оп далбоеб безрукий, и бехмозглый.
Слаще попы Куромы не могут быть даже эклеры.
Мягче попы Куромы не могут быть облака.
Попа Куромы всех слаще на свете,
Мягче на свете, и тискотельная.
Вкусненько!
>>260497209
Нет, твердо и четко. Балбес.
Дела не очень. К нг не готова. А тебя как дела?
Почему ты такой злой?
Я самый добрейший человек.
Дека, плз.
А это точно? Мне кажется, ты хочешь меня обмануть...
Хорошо, у меня нет никаких оснований тебе не верить!
>>260497209
Но такого больше не предлагай.
А сейчас чё не лень?
В пятюню или персону?
>>260497656
Ты уже сколько молчишь? Будешь общаться?
Поезд трогается, и я закрываю глаза от наслаж- дения. О,эти минуты бывают столь сладки, как мгно- вения любви! Все силы мои напряжены, но я знаю, что за этим последует страшный упадок. Поезд опять останавливается. Это Ольгино. Зна- чит, опять эта пытка! Но теперь это ложные позывы. Холодный пот вы- ступает у меня на лбу, и легкий холодок порхает вокруг моего сердца. Я поднимаюсь и некоторое время стою прижавшись головой к стене. Поезд идет, и покачиванье вагона мне очень приятно. Я собираю все свои силы и пошатываясь выхожу из уборной.
Как там корпоративчик прошел? Устал?
Не, SMTV уже пару недель как, а до пятой персоны никак не дойду.
Пробовал фан-перевод именно Giten Megami Tensei 1997 года.
С точностью до наоборот. В отличие от прошлых корпоратиаов все прошло и культурно, и весело. Начал и развил игру совершенно случайно и три часа из пяти просто в неё играли. Потом столько приятных слов в свой адрес получил. А два часа общались на професиональные темы. Жаль, я о них через два дня забуду.
А за заботу спасибо. Могу теперь на вас своё время потратить. Или на сон. Завтра стольих людей поздравить надо.
>>260500281
И в какие части играл? Не обязательно пятая, но если ты её упомянул, значит хочешь поиграть. Почему не играешь?
Из тех, что прошёл- Digital Devil Story, Persona 1, Persona 2 Innocent Sin и Persona 4 Golden. Пока только начал SMT Strange Journey и SMT IV. В ближайшее время мб пройду ноктюрн и первую часть. Короче, планов оче много а времени как обычно- не слишком.
В пятую персону пока не играл потому что ещё один эмулятор искать+скачивать не охота, а на диск для консоли финансово не потяну.
Я смотрю вы любитель копро.
Ты считаешь себя фанатом серии? V не испортила серию? Какая любимая? Почему в легендарные двойку не играл и пропустил персону тройку? Любишь только сами игры или всю серию? За что? Мне только персоны нравятся, где дети с помощью пистолетов и духов, т.е. сендов, т.е. персон пиздят людей.
Очень хорошо, что все так прошло. А кем ты работаешь, если не тайна?
Гнида, срыг в коробку.
Мне, конечно очень нравится, но я считаю, что играл слишком мало, чтобы называть себя фанатом. V-ОЧЕНЬ так себе во всём, что касается сюжета. Из всех мегатенов наверное больше всего зашла Persona 2, пусть я пока и не играл в её вторую половину.+плюс Strange Journey выглядит интересной.
Серия в целом хороша очень. Для меня это что то на уровне Fire Emblem примерно. А так по большей части за атмосферу и религиозные сюжеты, а персоны- за персонажей.
Ну так не бампай, чё распизделся?
>пропустил персону тройку
Жду свой геймпад, чтобы играть удобнее было.
> Зачем так бампать? Что с этим тредом происходит?
Это такая скрытая форма вайпа.
Перекатываемся сюда няши, мы все уже тут собрались. Только вайпера с собой не берите, пусть тут остаётся...
https://2ch.hk/ya/res/75159.html
А что, хочешь выведывать тайны? Ну, расстрою тебя,я готов раскрыть, кто я по профессии. Но стыжусь. Я веб макака. А ты чем по жизни занимаешься? Ты учишься?Работаешь? Главное: не заболел в такое опасное время?
>>260502543
Рад,что тебе не понравилось. Не потому что расстроился, а потому что мне тоже не понравилась. Искренне надеялся, что ты играл в 3 и можешь сравнить 2, 3 и 4. А главное, хочется чтобы ты сыграл в 5 и сказал, она позор или достояние. Они превратили ГГ в куклу, но сделали шикарным остальной мир. Ой, а поворт с блинчиками великолепен.
Ты религиозный? Набожный? Какой религии, конфессии? Другие религиозные формы искусства,не обязательно аниме или художка любишь? А какие смотрел? Как думаешь япошки могут передать христианскую душу? Или это желтый каргокульт?
Катимся
>>260503400 (OP)
Катимся
>>260503400 (OP)
Катимся
>>260503400 (OP)
Катимся