Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 10
Отмеченные записи: 0
1.
Подробнее
Лазарев, Владимир Георгиевич.
Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - 3-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1989. - 328 с. : ил., табл. - Библиогр. : с. 320-326.. - ISBN 5283014940
Кл.слова (ненормированные):
формализованные языки -- методы синтеза -- синтез систем -- процессы управления -- ЭВМ -- программирование
Доп.точки доступа:
Пийль, Елена Ивановна
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Лазарев, Владимир Георгиевич.
Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - 3-е изд., перераб. и доп. - Москва : Энергоатомиздат, 1989. - 328 с. : ил., табл. - Библиогр. : с. 320-326.. - ISBN 5283014940
| УДК |
Кл.слова (ненормированные):
формализованные языки -- методы синтеза -- синтез систем -- процессы управления -- ЭВМ -- программирование
Доп.точки доступа:
Пийль, Елена Ивановна
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
2.
Подробнее
Лекомцев, Юрий Константинович.
Введение в формальный язык лингвистики / Ю. К. Лекомцев ; отв. ред. А. А. Зализняк ; Академия наук СССР, Институт востоковедения ; Институт востоковедения (Москва). - Москва : Наука, 1983. - 264 c.
Рубрики: языкознание
Кл.слова (ненормированные):
математическая лингвистика -- структура языка -- теория языка -- формализованные языки -- планы языка -- синтаксис -- иерархия единиц языка -- различение в синтаксисе
Доп.точки доступа:
Зализняк, А. А. \ред.\
Институт востоковедения (Москва)
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Абонемент о. Русский (1), Кафедра лингвистики и межкультурной коммуникации ВИ-ШРМИ (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Абонемент о. Русский (1), Кафедра лингвистики и межкультурной коммуникации ВИ-ШРМИ (1), Хранение Отдела организации и использования фонда (1)
Лекомцев, Юрий Константинович.
Введение в формальный язык лингвистики / Ю. К. Лекомцев ; отв. ред. А. А. Зализняк ; Академия наук СССР, Институт востоковедения ; Институт востоковедения (Москва). - Москва : Наука, 1983. - 264 c.
| УДК |
Рубрики: языкознание
Кл.слова (ненормированные):
математическая лингвистика -- структура языка -- теория языка -- формализованные языки -- планы языка -- синтаксис -- иерархия единиц языка -- различение в синтаксисе
Доп.точки доступа:
Зализняк, А. А. \ред.\
Институт востоковедения (Москва)
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Абонемент о. Русский (1), Кафедра лингвистики и межкультурной коммуникации ВИ-ШРМИ (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (2), Абонемент о. Русский (1), Кафедра лингвистики и межкультурной коммуникации ВИ-ШРМИ (1), Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Б 695
Блинов, Аркадий Леонидович.
Семантика и теория игр / А. Л. Блинов ; ред. В. В. Целищев ; Академия наук СССР, Сибирское отделение, Институт истории, филологии и философии. ; Институт истории, филологии и философии (Новосибирск). - Новосибирск : Наука, 1983. - 129 c.
ББК 87.4
Кл.слова (ненормированные):
семантика -- аналитическая философия -- естественные языки -- формализованные языки -- логический анализ языка -- логика кванторная -- Логика
Доп.точки доступа:
Целищев, Виталий Валентинович \ред.\
Институт истории, филологии и философии (Новосибирск)
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Б 695
Блинов, Аркадий Леонидович.
Семантика и теория игр / А. Л. Блинов ; ред. В. В. Целищев ; Академия наук СССР, Сибирское отделение, Институт истории, филологии и философии. ; Институт истории, филологии и философии (Новосибирск). - Новосибирск : Наука, 1983. - 129 c.
Кл.слова (ненормированные):
семантика -- аналитическая философия -- естественные языки -- формализованные языки -- логический анализ языка -- логика кванторная -- Логика
Доп.точки доступа:
Целищев, Виталий Валентинович \ред.\
Институт истории, филологии и философии (Новосибирск)
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Труды научно-исследовательского семинара логического центра института философии РАН, 1996 / РАН.Ин-т философии. - М. : ИФРАН, 1997. - 205 c.. - ISBN 5201019528
Рубрики: ЗНБ ДВГУ
Кл.слова (ненормированные):
неклассические логики -- логическая реконструкция текстов -- Логика -- логическая семантика -- формализованные языки
Доп.точки доступа:
Институт философии (Москва)
Свободных экз. нет
Труды научно-исследовательского семинара логического центра института философии РАН, 1996 / РАН.Ин-т философии. - М. : ИФРАН, 1997. - 205 c.. - ISBN 5201019528
Рубрики: ЗНБ ДВГУ
Кл.слова (ненормированные):
неклассические логики -- логическая реконструкция текстов -- Логика -- логическая семантика -- формализованные языки
Доп.точки доступа:
Институт философии (Москва)
Свободных экз. нет
5.
Подробнее
Захаров, Виктор Павлович.
Информационные системы (документальный поиск) : учебное пособие / В. П. Захаров ; Санкт-Петербургский государственный университет. ; Санкт-Петербургский государственный университет. - Санкт-Петербург : [б. и.], 2002. - 187 с. : ил. - Библиогр. : с. 171.. - ISBN 5874030344
ББК 32.973.202я73 + 73я73
Рубрики: Интернет
научно-информационная деятельность
Кл.слова (ненормированные):
информационный поиск -- информационные системы -- информационно-поисковые языки -- формализованные языки -- лингвистическое обеспечение ИПС -- документальный поиск -- языки запросов -- автоматическое индексирование -- вербальные поисковые системы -- метапоисковые системы -- поисковые операторы -- прикладная лингвистика -- информационно-поисковые системы
Доп.точки доступа:
Санкт-Петербургский государственный университет
Экземпляры всего: 1
Информационно-библиографический отдел (1)
Свободны: Информационно-библиографический отдел (1)
Захаров, Виктор Павлович.
Информационные системы (документальный поиск) : учебное пособие / В. П. Захаров ; Санкт-Петербургский государственный университет. ; Санкт-Петербургский государственный университет. - Санкт-Петербург : [б. и.], 2002. - 187 с. : ил. - Библиогр. : с. 171.. - ISBN 5874030344
Рубрики: Интернет
научно-информационная деятельность
Кл.слова (ненормированные):
информационный поиск -- информационные системы -- информационно-поисковые языки -- формализованные языки -- лингвистическое обеспечение ИПС -- документальный поиск -- языки запросов -- автоматическое индексирование -- вербальные поисковые системы -- метапоисковые системы -- поисковые операторы -- прикладная лингвистика -- информационно-поисковые системы
Доп.точки доступа:
Санкт-Петербургский государственный университет
Экземпляры всего: 1
Информационно-библиографический отдел (1)
Свободны: Информационно-библиографический отдел (1)
6.
Подробнее
Исследования по формализованным языкам и неклассическим логикам / отв. ред. Д. А. Бочвар ; Академия наук СССР ; Всесоюзный институт научной и технической информации. - Москва : Наука, 1974. - 275 c.
Кл.слова (ненормированные):
формализованные языки -- неклассическая логика -- топология -- теория множеств
Доп.точки доступа:
Бочвар, Д. А. \ред.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Исследования по формализованным языкам и неклассическим логикам / отв. ред. Д. А. Бочвар ; Академия наук СССР ; Всесоюзный институт научной и технической информации. - Москва : Наука, 1974. - 275 c.
| УДК |
Кл.слова (ненормированные):
формализованные языки -- неклассическая логика -- топология -- теория множеств
Доп.точки доступа:
Бочвар, Д. А. \ред.\
Академия наук СССР. Всесоюзный институт научной и технической информации
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
7.
Подробнее
Ускова, Ольга Александровна.
Становление метаязыка бизнеса в русском языковом пространстве : автореферат диссертации на соискание ученой степени доктора филологических наук : 10.02.01 / О. А. Ускова. - Москва : [б. и.], 2008. - 37 с.
На правах рукописи.
Рубрики: деловой русский язык--метаязык бизнеса--авторефераты диссертаций
Кл.слова (ненормированные):
метаязык бизнеса -- профессиональный русский язык -- деловой русский язык -- бизнес-общения (русский язык) -- лингвосинергетика -- когнитивная лингвистика -- узкоспециализированные языки -- формализованные языки
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Ускова, Ольга Александровна.
Становление метаязыка бизнеса в русском языковом пространстве : автореферат диссертации на соискание ученой степени доктора филологических наук : 10.02.01 / О. А. Ускова. - Москва : [б. и.], 2008. - 37 с.
На правах рукописи.
| УДК |
Рубрики: деловой русский язык--метаязык бизнеса--авторефераты диссертаций
Кл.слова (ненормированные):
метаязык бизнеса -- профессиональный русский язык -- деловой русский язык -- бизнес-общения (русский язык) -- лингвосинергетика -- когнитивная лингвистика -- узкоспециализированные языки -- формализованные языки
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
8.
Подробнее
Мелюхин, Серафим Тимофеевич
Избранные труды : Наследие и современность / С. Т. Мелюхин ; [ред. кол. : Н. Т. Абрамова (отв. ред.) и др.]. - Москва : Издатель Савин С. А, 2010 - .
[в 3 т.] : т. 3 : Философская онтология сегодня. Научные статьи. - 383 с. : ил. - Библиогр. в тексте.. - ISBN 9785902121190
ББК 87.21
Рубрики: философская антология--сборники трудов
Кл.слова (ненормированные):
философские категории -- бытие (онтология) -- глобальный эволюционализм -- формализованные языки -- язык науки -- синергетика -- коллективный интеллект
Доп.точки доступа:
Абрамова, Н. Т. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Мелюхин, Серафим Тимофеевич
Избранные труды : Наследие и современность / С. Т. Мелюхин ; [ред. кол. : Н. Т. Абрамова (отв. ред.) и др.]. - Москва : Издатель Савин С. А, 2010 - .
[в 3 т.] : т. 3 : Философская онтология сегодня. Научные статьи. - 383 с. : ил. - Библиогр. в тексте.. - ISBN 9785902121190
Рубрики: философская антология--сборники трудов
Кл.слова (ненормированные):
философские категории -- бытие (онтология) -- глобальный эволюционализм -- формализованные языки -- язык науки -- синергетика -- коллективный интеллект
Доп.точки доступа:
Абрамова, Н. Т. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
9.
Подробнее
Лазарев, Владимир Георгиевич.
Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - 2-е изд., перераб. и доп. - Москва : Энергия, 1978. - 407. [1] с. : ил., табл. - Библиогр. : с. 395-405
Кл.слова (ненормированные):
формализованные языки -- методы синтеза -- синтез систем -- процессы управления -- ЭВМ -- программирование
Доп.точки доступа:
Пийль, Елена Ивановна
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Лазарев, Владимир Георгиевич.
Синтез управляющих автоматов / В. Г. Лазарев, Е. И. Пийль. - 2-е изд., перераб. и доп. - Москва : Энергия, 1978. - 407. [1] с. : ил., табл. - Библиогр. : с. 395-405
| УДК |
Кл.слова (ненормированные):
формализованные языки -- методы синтеза -- синтез систем -- процессы управления -- ЭВМ -- программирование
Доп.точки доступа:
Пийль, Елена Ивановна
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
10.
Подробнее
Язык и мышление / Академия наук СССР, Институт языкознания ; [ред. кол. : Ф. П. Филин (отв. ред.), С. Г. Бархударов, И. Н. Жинкин и др.]. - Москва : Наука, 1967. - 312 с.
Рубрики: языкознание--сборники
Кл.слова (ненормированные):
грамматические категории -- мышление (языкознание) -- актуальный синтаксис -- коммуникативный синтаксис -- когнитивная лингвистика -- речь (нарушения) -- семантическая аспектация языка -- полисемия -- семиотика -- формализованные языки -- знаковые ситуации -- Отаина, Галина Александровна (библиотека) -- Попов, Константин Михайлович (библиотека)
Доп.точки доступа:
Филин, Ф. П. \ред.\
Бархударов, Степан Григорьевич \ред.\
Жинкин, И. Н. \ред.\
Экземпляры всего: 2
Ч/З Редкая книга (2)
Свободны: Ч/З Редкая книга (2)
Язык и мышление / Академия наук СССР, Институт языкознания ; [ред. кол. : Ф. П. Филин (отв. ред.), С. Г. Бархударов, И. Н. Жинкин и др.]. - Москва : Наука, 1967. - 312 с.
| УДК |
Рубрики: языкознание--сборники
Кл.слова (ненормированные):
грамматические категории -- мышление (языкознание) -- актуальный синтаксис -- коммуникативный синтаксис -- когнитивная лингвистика -- речь (нарушения) -- семантическая аспектация языка -- полисемия -- семиотика -- формализованные языки -- знаковые ситуации -- Отаина, Галина Александровна (библиотека) -- Попов, Константин Михайлович (библиотека)
Доп.точки доступа:
Филин, Ф. П. \ред.\
Бархударов, Степан Григорьевич \ред.\
Жинкин, И. Н. \ред.\
Экземпляры всего: 2
Ч/З Редкая книга (2)
Свободны: Ч/З Редкая книга (2)
Страница 1, Результатов: 10