В ИТ часто используются термины, связанные с лингвистикой —
например, синтаксис, семантика.

Вопрос такой — откуда "среднестатистический программист"
получает знания о том, что "на самом деле" означают эти слова?

Читает Блумфилда или Хомского, или же слушает курсы "Компиляторостроение"
или "Языки программирования" в университете и ему этого хватает?

J>Вопрос такой — откуда "среднестатистический программист"
J>получает знания о том, что "на самом деле" означают эти слова?
Наверное, в школе, класс 6-7-й, на уроках родного языка.

Здравствуйте, Dym On, Вы писали:

J>>Вопрос такой — откуда "среднестатистический программист"
J>>получает знания о том, что "на самом деле" означают эти слова?
DO>Наверное, в школе, класс 6-7-й, на уроках родного языка.

Вообще-то в русском языке (и не только в русском) под синтаксисом понимают только правила расстановки знаков препинания, а правила написания слов — это морфология.

PD>Вообще-то в русском языке (и не только в русском) под синтаксисом понимают только правила расстановки знаков препинания
А разве не пунктуация?

Здравствуйте, Dym On, Вы писали:

J>>Вопрос такой — откуда "среднестатистический программист"
J>>получает знания о том, что "на самом деле" означают эти слова?
DO>Наверное, в школе, класс 6-7-й, на уроках родного языка.

Это безусловно помогает и позволяет кое-как программировать, но
семантика родного языка и языка программирования, по-моему — разные вещи.

Здравствуйте, Dym On, Вы писали:

PD>>Вообще-то в русском языке (и не только в русском) под синтаксисом понимают только правила расстановки знаков препинания
DO>А разве не пунктуация?

Когда я учился в школе, этот курс назывался — синтаксис. 7 класс.

PD>Когда я учился в школе, этот курс назывался — синтаксис. 7 класс.

Синтаксис (от греч. Σύνταξη — построение, порядок, составление) — раздел языкознания, изучающий строй связной речи и включающий две основные части: учение о словосочетании и учение о предложении.
В синтаксисе решаются следующие основные вопросы:
1. соединение слов в словосочетания и предложения;
2. рассмотрение видов синтаксической связи;
3. определение типов словосочетаний и предложений;
4. определение значения словосочетаний и предложений;
5. соединение простых предложений в сложные.

Пунктуация (ср.-век. лат. punctuatio — от лат. punctum — точка) — система знаков препинания в письменности какого-либо языка, а также правила их постановки в письменной речи. Пунктуация делает наглядным синтаксический строй речи, выделяя отдельные предложения и члены предложений, вследствие чего облегчается устное воспроизведение написанного.

Здравствуйте, Dym On, Вы писали:

PD>>Когда я учился в школе, этот курс назывался — синтаксис. 7 класс.

DO>

Синтаксис (от греч. Σύνταξη — построение, порядок, составление) — раздел языкознания, изучающий строй связной речи и включающий две основные части: учение о словосочетании и учение о предложении.
DO>В синтаксисе решаются следующие основные вопросы:
DO> 1. соединение слов в словосочетания и предложения;
DO> 2. рассмотрение видов синтаксической связи;
DO> 3. определение типов словосочетаний и предложений;
DO> 4. определение значения словосочетаний и предложений;
DO> 5. соединение простых предложений в сложные.

Но не правописание самих слов. Это морфология.

Здравствуйте, Pavel Dvorkin, Вы писали:

PD>Здравствуйте, Dym On, Вы писали:

J>>>Вопрос такой — откуда "среднестатистический программист"
J>>>получает знания о том, что "на самом деле" означают эти слова?
DO>>Наверное, в школе, класс 6-7-й, на уроках родного языка.

PD>Вообще-то в русском языке (и не только в русском) под синтаксисом понимают только правила расстановки знаков препинания, а правила написания слов — это морфология.

На данный момент меня в основном интересуют термины
синтаксис и синтактический в контексте ИТ.

Здравствуйте, jeeist, Вы писали:

J>В ИТ часто используются термины, связанные с лингвистикой —
J>например, синтаксис, семантика.

J>Вопрос такой — откуда "среднестатистический программист"
J>получает знания о том, что "на самом деле" означают эти слова?

J>Читает Блумфилда или Хомского, или же слушает курсы "Компиляторостроение"
J>или "Языки программирования" в университете и ему этого хватает?

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

Здравствуйте, Pavel Dvorkin, Вы писали:



PD>Но не правописание самих слов. Это морфология.

Брр, правописание слов — это орфография. Морфология — это наука о морфемах, то есть корнях, приставках итп.

Здравствуйте, Sergey Chadov, Вы писали:

SC>Здравствуйте, Pavel Dvorkin, Вы писали:

PD>>Но не правописание самих слов. Это морфология.

SC>Брр, правописание слов — это орфография. Морфология — это наука о морфемах, то есть корнях, приставках итп.

ИМХО это наука также о том, как из морфем получаются слова, как без- превращается в бес-,
т.е. — о правописании

Здравствуйте, jeeist, Вы писали:

J>Вопрос такой — откуда "среднестатистический программист"
J>получает знания о том, что "на самом деле" означают эти слова?

J>Читает Блумфилда или Хомского, или же слушает курсы "Компиляторостроение"
J>или "Языки программирования" в университете и ему этого хватает?

Не знаю насчет среднестатистического программиста, но из тех университетских программ Computer Science, которые я видел, мне больше всего нравится такой порядок:
Синтаксис объясняется первым на курсе по формальным языкам (еще до компиляторов).
Семантика объясняется чуть позже в курсе формальной логики (как правило, на примере model-theoretic semantics, но необязательно).
Языки программирования при этом идут параллельно, поскольку в мейнстримовых языках все равно формальной семантики нет.

Здравствуйте, kl, Вы писали:

kl>Здравствуйте, jeeist, Вы писали:

J>>Вопрос такой — откуда "среднестатистический программист"
J>>получает знания о том, что "на самом деле" означают эти слова?

J>>Читает Блумфилда или Хомского, или же слушает курсы "Компиляторостроение"
J>>или "Языки программирования" в университете и ему этого хватает?

kl>Не знаю насчет среднестатистического программиста, но из тех университетских программ Computer Science, которые я видел, мне больше всего нравится такой порядок:
kl>Синтаксис объясняется первым на курсе по формальным языкам (еще до компиляторов).
kl>Семантика объясняется чуть позже в курсе формальной логики (как правило, на примере model-theoretic semantics, но необязательно).
kl>Языки программирования при этом идут параллельно, поскольку в мейнстримовых языках все равно формальной семантики нет.

А в каких есть?

Просто раньше я не обращал внимание на термин "семантика",
если он упоминался в тексте. Но поскольку есть такой термин
Semantic web, хотелось узнать, что такое Semantic web,
что такое семантика и как она связана с ИТ.

J>А в каких есть?

J>Просто раньше я не обращал внимание на термин "семантика",
J>если он упоминался в тексте. Но поскольку есть такой термин
J>Semantic web, хотелось узнать, что такое Semantic web,
J>что такое семантика и как она связана с ИТ.

Что такое семантика можно легко найти в интернете, в данном же случае Semantic Web наверное подразумевается как новый стандарт Web3.0 в котором предполагается что в ресурсах удовлетворяющих этому стандарту должна быть заложена информация о семантике ресурса, а именно ключевое содержание текста, для улучшения качества поиска инфомации. Что-то наподобии <meta> и технологии с тегами.

Здравствуйте, Аноним, Вы писали:


J>>А в каких есть?

J>>Просто раньше я не обращал внимание на термин "семантика",
J>>если он упоминался в тексте. Но поскольку есть такой термин
J>>Semantic web, хотелось узнать, что такое Semantic web,
J>>что такое семантика и как она связана с ИТ.

А>Что такое семантика можно легко найти в интернете, в данном же случае Semantic Web наверное подразумевается как новый стандарт Web3.0 в котором предполагается что в ресурсах удовлетворяющих этому стандарту должна быть заложена информация о семантике ресурса, а именно ключевое содержание текста, для улучшения качества поиска инфомации. Что-то наподобии <meta> и технологии с тегами.

Да, определение, что такое семантика, можно легко найти в интернете.

Но нужно еще "правильно понять", что это такое. Т.е.
надо узнать, где и как семантика используется.

Если не ошибаюсь, один умный человек сказал, что
определение вещи — это то, как эта вещь используется.
Я не философ, но можно почитать литературу хотя бы про
"Information architecture", чтобы понять, что найти
что-то в интернете не так уж легко.

Насчет Semantic Web, да, есть книги на эту тему.

Здравствуйте, jeeist, Вы писали:

J>Да, определение, что такое семантика, можно легко найти в интернете.

J>Но нужно еще "правильно понять", что это такое. Т.е.
J>надо узнать, где и как семантика используется.

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

Здравствуйте, jeeist, Вы писали:

J>Здравствуйте, kl, Вы писали:

J>А в каких есть?

Ну глянь, например, на спецификацию семантики XQuery [1] и сравни это с, скажем, стандартом С++.

J>Просто раньше я не обращал внимание на термин "семантика",
J>если он упоминался в тексте. Но поскольку есть такой термин
J>Semantic web, хотелось узнать, что такое Semantic web,
J>что такое семантика и как она связана с ИТ.

Ну, после уже почти 5-ти лет работы над диссером в области семантических технологий, могу сказать, что Semantic Web — это очень-очень скользкое понятие, под которым куча людей понимает то, что считает нужным. Разберись лучше, что такое формальная семантика, начав, например, отсюда.

[1] XQuery 1.0 and XPath 2.0 Formal Semantics

Здравствуйте, kl, Вы писали:

kl>Здравствуйте, jeeist, Вы писали:

J>>Здравствуйте, kl, Вы писали:

J>>А в каких есть?

kl>Ну глянь, например, на спецификацию семантики XQuery [1] и сравни это с, скажем, стандартом С++.

J>>Просто раньше я не обращал внимание на термин "семантика",
J>>если он упоминался в тексте. Но поскольку есть такой термин
J>>Semantic web, хотелось узнать, что такое Semantic web,
J>>что такое семантика и как она связана с ИТ.

kl>Ну, после уже почти 5-ти лет работы над диссером в области семантических технологий, могу сказать, что Semantic Web — это очень-очень скользкое понятие, под которым куча людей понимает то, что считает нужным. Разберись лучше, что такое формальная семантика, начав, например, отсюда.

kl>[1] XQuery 1.0 and XPath 2.0 Formal Semantics

Ясно. Значит, XQuery и его формальная семантика — это то,
с чего следует начинать. Просто я подумал, что Гугл
не умеет искать или я не умею строить запросы, которые
находили бы что-то еще.

Еще я нашел книгу, в которой одна из глав называется
Semantic analysis и речь идет об атрибутной грамматике.

По-моему, это как раз то, с чем я сталкивался раньше,
и где упоминался термин "семантика".

Вопрос только в том, используется ли это на практике?