Вышло издание 2,92 книги «Программирование: введение в профессию» А. В. Столярова

но ты как-то умудряешься писать так

Мальчика нашли в канаве. Он может только квакать.

Непонятно только почему кровавая модерастия старательно смотрит в другую сторону.

В prolog и др. языках на основе логики предикатов последовательность не указывается, а это тоже программирование.

В этом треде не было аргументов.

В этом треде были даные ссылки на развернутые обяснения из прошлого треда, на которые ты только вяло отбрехивался, что мол все наши определения - не определения, потому что они не по столярову. Тот факт, что столяровские определения не соответствуют ни одному общепринятому, тобой игнорировался.

С чем конкретно ты не согласен? Можешь открыть саму книгу и прочитать всё методическое предисловие, оно не длинное.

Я раза три его читал, чтобы персонально для тебя сделать разбор этого безграмотного бреда в прошлом треде, потратив на это страниц 15-20. Но выяснилось, что не в коня корм, потому что ты сектант, и отказываешься принимать любые аргументы, идущие вразрез со столяровскими религиозными догмами.

Я не так говорил.

Поправлюсь: ты говорил, что писал только однострочники или одностраничники. У тебя вообще нет и не может быть никакого профессионального мнения по обсуждаемому вопросу. Зачем ты лезешь туда, где ничего не понимаешь, и просто пересказываешь одни и те же бредни дурачка с регалиями, которые просто принимаешь на веру?

Прикинь, на форуме сидит чувак, который уже несколько месяцев не пишет комментариев, но исправно ходит ставить своё лицо под полюбившимися авторами =) Вот это преданность.

вы излишне самоккритичны

Ну дык мозгов возражать нет - что еще остается-то?

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

Вот и остается терпеть его бегунков, десантирующихся под каждым тредом, ему посвещенным. Ничего лучше-то все равно у нас нет.

В prolog и др. языках на основе логики предикатов последовательность не указывается, а это тоже программирование.

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

там скорее марковский порядок - первая подходящая резолюция - порядок обхода обычно текстовый ибо детерминированность какая никакая - хотя даже Дейкстра знал что самое лучшее это случайный выбор подходящей ветки по истиной защите

заказал себе ProArt Display PA147CDV для чтения Столярова

А он так и называется - «для чтения Столярова»??.. ;P ;))

подразумевается. больше в таком формате читать вроде нечего

https://i.ebayimg.com/images/g/INwAAOSwPgdncDZo/s-l1600.jpg

Очень интересная у него диссертация. Специальность 05.13.11, однако ни физмата ни технических я там не вижу. «Информационная свобода и информационная насилие». В оглавлении социальные эффекты, границы интеллектуальной собственности, имущественные права… Грустно всё в МГУ в 2012 году. Когда я защищал эту специальность на декаду ранее, такого бреда не принимали.

Спасибо, я уже в ДНС нашёл это чудо, но там уже «продажи прекращены», и цену не показывают...

однако ни физмата ни технических я там не вижу.

в 2002 году успешно закончил аспирантуру и защитил кандидатскую диссертацию «Интеграция разнородных языковых механизмов в рамках одного языка программирования». В рамках диссертационной работы была создана библиотека InteLib.

В prolog и др. языках на основе логики предикатов последовательность не указывается, а это тоже программирование.

Я думаю, что и в прологе вы не сможете сперва записать информацию в файл, а лишь затем создать его и открыть для записи.

Может я другого Столярова Андрея Викторовича смотрю? Тогда прошу прощения, ещё поищу.

это у него по философии

Столяров, Андрей Викторович. Информационная свобода и информационное насилие: дис. кандидат наук: 09.00.11 - Социальная философия. Москва. 2012. 155 с.

Это же философский факультет. Что не так-то?

Я думаю, что и в прологе вы не сможете сперва записать информацию в файл, а лишь затем создать его и открыть для записи.

Голосом Озерова: «Нет, такой Пролог нам не нужен!!!»... ;P ;)))

Да, всё, нашёл!! Есть такое. Си++ как язык моделирования алгебр. Язык Лисп как алгебра. Алгебра S-выражений. Библиотека InteLib. Идея - использование альтернативных языков в дополнение к базовому в одном проекте. Ну что, нормальный вроде как человек был. Конечно, вопрос «а зачем» всегда можно задавать для любой диссертации.

В рамках диссертационной работы была создана библиотека InteLib.

Сабж. Впрочем, что один диссер, что другой: https://i.imgur.com/YmhJzxR.png

Для начала, не обязательно быть программистом, чтобы понять, что спор об определениях не конструктивен.

Столяров использует вот такое определение. Значит в контексте обсуждения его книги следует именно его и использоваться.

Ну и в старом треде я всё-таки ошибся, если функция возвращает конкатенацию строк, выделяя под результат память - это всё-таки побочный эффект, поскольку эту память потом ещё надо освободить, то есть выражение имеет эффект который нужно учитывать помимо собственно возврата значения.

Даже пытаться не буду - было б что сказать, ты бы сумел это нормально сформулировать. Тратить время на шизофазию шиза смысла не вижу.

Поцкаль во второй четверти 21-го века можно было бы уже и не бередить. Не тревожить стюардессу.

Так устарел, что одним из самых популярных языков в вебе и вообще является Go, который из себя представляет абсолютно виртовский язык и от него так и прёт паскалем и обероном.

ну гошка скорее хоаровское там с паскалем алгольность общая

Так и давайте тогда сразу Go, без некрофилии

почему кровавая модерастия старательно смотрит в другую сторону

Потому что если не смотреть в другую сторону то придётся вчитываться в этот малосвязный бред, а это может быть опасно - не факт что заражение мозга френологическими глоссолалиями излечимо без оперативного вмешательства.

побочкой можно считать даже время исполнения (один из вроде как методов взлома )

тогда квадратичная сортировка(иммутабельная) станет отличимой от нормальной nlogn сортировки(иммутабельной)

ваще тема чистоты функций реальна удобное предусловие для сетеПетризации исполнения т.е. использование по максимуму возможного распараллеливания

если нет чистоты то требуется более слабые критерии алгебра которых вроде как пока не до конца ясна

Для начала, не обязательно быть программистом, чтобы понять, что спор об определениях не конструктивен.

Бред. Столяров привязал свое определение к одному конкретному языку, и пытается плясать от его семантики, распространяя это на все остальные. Я оспариваю само его определение, потому что уже в его тексте хорошо видно, что он сам запутался в своей шизе.

Столяров использует вот такое определение. Значит в контексте обсуждения его книги следует именно его и использоваться.

Нет, не следует. Если исходный постулат был ложным, то и все остальные обсуждения - тоже ложные. Я оспорил его определение и продолжил разбирать остальную чушь.

если функция возвращает конкатенацию строк, выделяя под результат память - это всё-таки побочный эффект

И снова нет. Будет это побочный эффект, или нет - решается исходя из точки отсчета. Например, для обработчика прерываний это однозначно можно считать побочным эффектом. Для обычного прикладного софта - нет. Для софта на жаве - однозначно нет, потому что там выделение памяти - это операция виртуальной машины, от тебя вообще скрытая.

Вот почему нужно быть программистом, чтобы обсуждать сабж и определения в нем. Если бы писал код, то сразу понял бы, что определение столярова - вообще не определение, а набор чувственных ощущений.

вавилон-17

Грустно всё в МГУ в 2012 году. Когда я защищал эту специальность на декаду ранее, такого бреда не принимали.

Ну вот ты же в ВУЗе не остался? Это не в укор - я тоже свалил с универа в индустрию. А заполнять ставки на кафедре кем-то надо - вот и понабрали откровенных бомжей и шизов, лишь бы прямо на лекциях в карман не ссались и закорючку в ведомости поставить могли.

вавилон-17

балашиха-2

Я уже извинился за ошибку. Я смотрел на философскую диссертацию.

потому что уже в его тексте хорошо видно, что он сам запутался в своей шизе.

Где именно?

Если исходный постулат был ложным, то и все остальные обсуждения - тоже ложные.

Определение — это не постулат. Это определение. Оно не может быть истинным или ложным само по себе.

Для софта на жаве - однозначно нет, потому что там выделение памяти - это операция виртуальной машины, от тебя вообще скрытая.

Я отвечал в конктексте императивных ЯП без сборки мусора.

ну слу если у чела реально проблема с мат.логикой и при этом он без шуток успешный прогер то стоит ли его переубеждать

он реально отчего-то считает импликацию ложной - чисто бытовое суеверие :)

Если исходный постулат был ложным, то и все остальные обсуждения - тоже ложные.

Определение — это не постулат. Это определение. Оно не может быть истинным или ложным само по себе.

Здрасьте вам с кисточкой! У вам как было на втором курсе Университета на философии науки? Определение как раз и есть постулат теории, истина «по определению» :). Конечно, если определение хреновое, то и теория - туфта. А бывает, что теория опровергает определение, тогда теория противоречива, но обычно люди вводят разумные определения.

Язык Лисп как алгебра. Алгебра S-выражений.

И вот это прям на диссер тянет по меркам МГУ? Даже если не брать в рассчёт оригинал McCarthy, то идея ещё в 80х разобрана:

https://www.sciencedirect.com/science/article/abs/pii/0167739X87900112

Про остальное совсем уж упоминать смешно - давайте каждому автору какой-либо ненужной библиотеки по диссеру раздадим, чё стесняться-то?

Определение — это не постулат. Это определение. Оно не может быть истинным или ложным само по себе.

Каждый раз когда мне кажется что ниже просто некуда, фанат Столярика умудряется в очередной раз пробить дно. Мне прям любопытно стало, а после школы у тебя ещё какое-то образование было? Или всё ограничилось вот этим вот «учебником», с которым ты носишься как обкурившийся ладана монах с катехизисом :)

Ну это уже пусть диссертационный совет решает, но факт остаётся фактом. Человек что-то про языки программирования слышал, и может быть даже что-то на них писал. Не факт, конечно, студентам же тоже надо лабы сдавать. Дисер всё-таки имеет отношение к специальности.

вкладки браузера

99.999% вкладок браузера должно уходить «в сон» при переключении на другую вкладку

Вы это знаете, и я это знаю. Зачем об этом говорить в контексте многозадачности и многопроцессорности?

и может быть даже что-то на них писал

Что именно он на них писал прям тут в комментах постили. Удручающая степень некомпетентности - это ж ещё умудриться надо: писать хуже чем локальная LLM с ограниченным числом параметров и при этом считать что может поучать других.

Нужно не забывать, что компетентность преподавателя обычно подтверждается компетентностью его учеников. Зачем преподавателю писать код? Ему надо этому вас научить, он не за код деньги получает.

http://www.intelib.org/

Я думал, что такие вещи как JFF рофл выкладывают, а тут вон оно что…

Где именно?

Я не буду еще 15 страниц объяснять тебе одно и то же. Иди перечитывай прошлый тред, ссылки даны.

Определение — это не постулат. Это определение.

В определении столяров делает определенное утверждение.

Я отвечал в конктексте императивных ЯП без сборки мусора.

Определение столярова претендует на универсальность, и сыпется на вполне популярных же языках. Это говно, а не определение.

«Несовершеннолетними признаются лица, не достигшие 18 лет.»

Это истинное определение или ложное?

Я не считаю импликацию ложной. Проблема в том, что любители матлогики имеют инструмент, но не умеют им пользоваться.

Если исходный постулат противоречит реальности, ты получишь говно, а не результат. Он будет абсолютно истинным по отношению к исходному утверждению, но совершенно бесполезным фактически. Предположив, что уран не опасен для здоровья, ты не получишь объективно безопасный ядерный реактор. Думаю, пример понятен.

За дальнейшими объяснениями рекомендую обратиться к рассказу «Логика» Азимова, 1942. Здорово прочищает мозги от заблуждений, подобных твоему.

ты отличаешь не_обоснованость vs ложность?

«Несовершеннолетними признаются лица, не достигшие 18 лет.»

Это истинное определение или ложное?

Если рассматривать как утверждение, а не определение, то формально оно истинное. Но не исчерпывающее. Так бывает? Бывает. Значит признаются. Хотя бы иногда. Соответственно, утверждение верное.

А как определение оно без контекста неполноценное.