реклама на сайте
подробности

 
 
8 страниц V  < 1 2 3 4 5 > »   
Reply to this topicStart new topic
> Диссертации связанные с чистым программированием. Возможно ли такое?
SM
сообщение Jan 17 2010, 17:36
Сообщение #31


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(Tanya @ Jan 17 2010, 20:22) *
Математика - не наука. Так мне один (не один) математик говорил.
В том то и дело, что базируется на аксиомах.
И доказывается все на базе некоторой логики. И теории множеств. В которых имеются парадоксы.

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

Цитата(Tanya @ Jan 17 2010, 20:22) *
Вы в курсе, что доказано, что можно придумать некоторое утверждение, которое нельзя ни доказать, ни опровергнуть?
В рамках математики. А Вы говорите - точная наука...

В курсе, конечно. Не только в рамках математики, а, и как следствие, в рамках всех остальных разделов технических наук, в большинстве из которых все процессы описываются именно математикой. Но это не отменять ее точности smile.gif


Цитата(AlexandrY @ Jan 17 2010, 20:25) *
Во времена первых ЭВМ аналитиков не было.

В этом Вы сильно заблуждаетесь. Была такая должность. Этот человек анализировал задачу, разрабатывал алгоритм ее решения и передавал программистам, которые превращали этот алгоритм при помощи программирования в набор входных данных, включая код программы, для ЭВМ. И он (аналитик) совершенно не обязан был знать языков программирования, которых тогда еще особо и не было. Он выше всего этого. Другое дело, что теперь часто эти должности совмещаются, и поэтому такие программисты возомнили научность программирования. А вся научность кончается на анализе задачи и разработке алгоритма ее решения, и это не программирование. Дальше - чисто инженерная работа программиста, ремесло. Это - уже программирование.
Go to the top of the page
 
+Quote Post
EUrry
сообщение Jan 17 2010, 17:40
Сообщение #32


Гуру
******

Группа: Свой
Сообщений: 3 218
Регистрация: 14-11-06
Из: Н. Новгород
Пользователь №: 22 312



Цитата(AlexandrY @ Jan 17 2010, 20:25) *
Во времена первых ЭВМ аналитиков не было.

Были физики и прочие, кто программировал свои задачи.
Цитата
Вы очень хотите все привести к математике. Математика здесь не причем.
Аналитики не рождают алгоритмы.
Они разрабатывают стратегические планы и архитектуры на основе своих эвристических методов.
Эти методы результат научных изысканий. Основой для них служит знание методов программирования.

Отлично! Вы ушли от математики (отвергнув за ненадобностью), основываетесь на эвристике, в которую входит и так называемый "метод научного тыка", а затем говорите, что нужно знание методов программирования, которые на данный момент, как уже упоминалось, целиком и полностью основаны на математических методах. Давайте-ка разберитесь с такими доводами.


--------------------
Все не могут только сеять разумное, доброе, вечное: кому-то надо и пахать!
Природа не терпит пустоты: там, где люди не знают правды, они заполняют пробелы домыслом. © Бернард Шоу
Go to the top of the page
 
+Quote Post
AlexandrY
сообщение Jan 17 2010, 17:47
Сообщение #33


Ally
******

Группа: Модераторы
Сообщений: 6 232
Регистрация: 19-01-05
Пользователь №: 2 050



А, ну понял вашу логику. Найти идиотов, назвать их программистами. После чего говорить что программисты и есть те идиоты. biggrin.gif
Нифига аналитик не разработает если не будет знать современные технологии программирования и инструменты.
Поэтому современный аналитик обязательно программист.
Т.е.аналитики это подмножество программистов. И наука там имеет место быть по полной.

Цитата(SM @ Jan 17 2010, 19:36) *
А вся научность кончается на анализе задачи и разработке алгоритма ее решения, и это не программирование. Дальше - чисто инженерная работа программиста, ремесло. Это - уже программирование.
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 17:56
Сообщение #34


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(AlexandrY @ Jan 17 2010, 20:47) *
Поэтому современный аналитик обязательно программист.

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

программист не идиот. он может быть виртуоз своего дела, умея уложить тот или иной алгоритм туда, куда он с виду вроде как и не может уложиться. Как и схемотехник может быть виртуозом, реализовав данный алгоритм в устройстве. НО! Разработка алгоритма - это не программирование и не схемотехника. Другое дело, что программист может быть и аналитиком по совместимости, делая и его работу. Но и разрабатывать алгоритм (например сжатия речи или видео, а вообще любой), может человек, совершенно далекий от программирования, зато в совершентсве владеющим мат. моделированием этих процессов.
Go to the top of the page
 
+Quote Post
EUrry
сообщение Jan 17 2010, 18:03
Сообщение #35


Гуру
******

Группа: Свой
Сообщений: 3 218
Регистрация: 14-11-06
Из: Н. Новгород
Пользователь №: 22 312



Цитата(AlexandrY @ Jan 17 2010, 20:47) *
А, ну понял вашу логику. Найти идиотов, назвать их программистами. После чего говорить что программисты и есть те идиоты. biggrin.gif

Никак нет. Что Вы в крайности кидаетесь? надо же в вопросе как-то разобраться, а уж доказать "программистам" их не совсем компетентность тоже можно. И отнюдь не только можно программистов найти, которые считают себя ВСЕЯ, мало в чем понимая, но и в других областях таких хватает. Просто в свете масштабного появления именно "программистов" и возникает вопрос.
Цитата
Т.е.аналитики это подмножество программистов

Сложный вопрос. По иерархии главенства вроде как не подходит, но и по-другому как-то не очень... cranky.gif


Цитата(SM @ Jan 17 2010, 20:56) *
Разработка алгоритма - это не программирование.

А по-моему всё-таки как раз это и есть программирование задачи, а кодинг - реализация на каком-то языке - заключительный этап программирования (ну, если не считать дебага и еще чего-нибудь). Есть же алгоритмический язык. Но опять же где научность в создании алгоритма? Я вижу только инженерную часть.


--------------------
Все не могут только сеять разумное, доброе, вечное: кому-то надо и пахать!
Природа не терпит пустоты: там, где люди не знают правды, они заполняют пробелы домыслом. © Бернард Шоу
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 18:22
Сообщение #36


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(EUrry @ Jan 17 2010, 21:03) *
а кодинг - реализация на каком-то языке

кодинг - это непонятное новомодное словечко, типа клининг, мерчендайзинг, бодибилдинг и т.п., призванное запутать русскоязычную терминологию. Во времена ЕС ЭВМ и БЭСМ было все четко определено, кто делает алгоритмы, а кто их потом программирует. И я не вижу смысла что-то менять в этой системе, вводя какие-то лишние сущности.


научность в создании алгоритма - а в процессе его создании применяется научный подход (анализ задачи, выбор пути ее решения, теоретическое решение, и, окончательно, реализация его в виде набора действий), и зачастую разработка алгоритма - это не один год научной работы.
Go to the top of the page
 
+Quote Post
sergeeff
сообщение Jan 17 2010, 18:27
Сообщение #37


Профессионал
*****

Группа: Свой
Сообщений: 1 481
Регистрация: 10-04-05
Пользователь №: 4 007



Приведу пример диссертации, связанной с "чистым программированием". В начале 80-х мой хороший знакомый предложил математический аппарат, подводящий теоретическую основу под программирование с минимизацией переходов типа goto. Все это он воплотил в язык ассемблера некоторого совершенно реального компьютера. Все это оформил в виде диссертации и благополучно защитил.
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 18:29
Сообщение #38


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(sergeeff @ Jan 17 2010, 21:27) *
...предложил математический аппарат...

Вот "об том и речь".
Go to the top of the page
 
+Quote Post
AlexandrY
сообщение Jan 17 2010, 18:33
Сообщение #39


Ally
******

Группа: Модераторы
Сообщений: 6 232
Регистрация: 19-01-05
Пользователь №: 2 050



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

Например:

Проблема выравнивания износа FLASH памяти во встраиваемых файловых системах.
Математики там на самом деле кот наплакал. Никто даже не берется за создание математических моделей. Модели только имитационные.
Ну да там для анализа результатов применяют статистику из школьного курса, но не больше. Вся наука в исследовании и нахождении оптимальных структур данным и операций над ними.

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

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

Разработка архитектуры софта для гетерогенных мультипроцессорных систем.

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


Цитата(EUrry @ Jan 17 2010, 19:40) *
Давайте-ка разберитесь с такими доводами.
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 18:39
Сообщение #40


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(AlexandrY @ Jan 17 2010, 21:33) *
Решается перебором и изобретением новых структур данных с проверкой на моделях.

Вот это, как раз, первый признак ненаучного подхода. Научный подход изначально предполагает теоретическое обоснование того или иного метода, и без этого таковым являться не может. Хотя, возможно, что если подвести такую теорию, что перебор в данном случае самый эффективный метод, и доказать это, и выработать наиболее оптимальную методику перебора, и доказать, что она оптимальна - и потянет на научную работу.
Go to the top of the page
 
+Quote Post
AlexandrY
сообщение Jan 17 2010, 18:43
Сообщение #41


Ally
******

Группа: Модераторы
Сообщений: 6 232
Регистрация: 19-01-05
Пользователь №: 2 050



Ну это беда ваших понятий о науке а не самой науки. biggrin.gif
Вы еще скажите что Бога нет, а человек в состоянии познать все. Вот потеха будет.
Цитата(SM @ Jan 17 2010, 20:39) *
Вот это, как раз, первый признак ненаучного подхода. Научный подход изначально предполагает теоретическое обоснование того или иного метода, и без этого таковым являться не может. Хотя, возможно, что если подвести такую теорию, что перебор в данном случае самый эффективный метод, и доказать это, и выработать наиболее оптимальную методику перебора, и доказать, что она оптимальна - и потянет на научную работу.
Go to the top of the page
 
+Quote Post
EUrry
сообщение Jan 17 2010, 18:47
Сообщение #42


Гуру
******

Группа: Свой
Сообщений: 3 218
Регистрация: 14-11-06
Из: Н. Новгород
Пользователь №: 22 312



To AlexandrY:
Ну, вообще то, что Вы привели в качестве примеров - чистой воды математические методы оптимизации. Или же я что-то не понял.
Кстати, V_G поговаривал об определениях. Дабы не уйти в офтоп, нужно дать определения всем терминам, на основе которых строить все дальнейшие выводы. Называется - договориться о терминах прежде спора. Так что же такое программирование? Кто даст определение? А быть может узаконенное есть?


--------------------
Все не могут только сеять разумное, доброе, вечное: кому-то надо и пахать!
Природа не терпит пустоты: там, где люди не знают правды, они заполняют пробелы домыслом. © Бернард Шоу
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 19:00
Сообщение #43


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(AlexandrY @ Jan 17 2010, 21:43) *
Ну это беда ваших понятий о науке а не самой науки. biggrin.gif

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

Цитата(AlexandrY @ Jan 17 2010, 21:43) *
Вы еще скажите что Бога нет

Не скажу, я убежденный агностик.
Go to the top of the page
 
+Quote Post
AlexandrY
сообщение Jan 17 2010, 20:40
Сообщение #44


Ally
******

Группа: Модераторы
Сообщений: 6 232
Регистрация: 19-01-05
Пользователь №: 2 050



По идее вы агностики вообще должны отрицать эмпирический опыт и не признавать статистику.
Мне кажется это чуток отклонение в психике. Это как буриданов осел, у него нет оснований для принятия решений и движения вперед. biggrin.gif
А наука на мой взгляд это просто утверждение опыта, его фиксация и не больше.

Цитата(SM @ Jan 17 2010, 21:00) *
... я убежденный агностик.
Go to the top of the page
 
+Quote Post
SM
сообщение Jan 17 2010, 21:28
Сообщение #45


Гуру
******

Группа: Свой
Сообщений: 7 946
Регистрация: 25-02-05
Из: Moscow, Russia
Пользователь №: 2 881



Цитата(AlexandrY @ Jan 17 2010, 23:40) *
Мне кажется это чуток отклонение в психике.

А можно как нибудь без оскорблений обойтись? Агностицизм касается исключительно Бога, т.е. мне все равно, есть он или нет, докажут что есть - значит есть, докажут обратное - значит нет, недоказуемо - ну и ладно, мне все равно. Это, скорее всего, и есть то самое математически доказанное существующее недоказуемое утверждение.

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

Цитата(AlexandrY @ Jan 17 2010, 23:40) *
А наука на мой взгляд это просто утверждение опыта, его фиксация и не больше.

А на взгляд остальных - это подведение теоретических основ, а опыт - не более чем подтверждение правильности (или ошибочности) теоретических выводов. Чтобы было что-то научно, должна быть лаконичная теория. А иначе все это алхимия.
Go to the top of the page
 
+Quote Post

8 страниц V  < 1 2 3 4 5 > » 
Reply to this topicStart new topic
3 чел. читают эту тему (гостей: 3, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 20th July 2025 - 13:20
Рейтинг@Mail.ru


Страница сгенерированна за 0.01502 секунд с 7
ELECTRONIX ©2004-2016