510.6(075)
Л63


   Лисовик, Л. П.

    Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн
УДК
ББК 22.18я73
Рубрики: Математична логіка
   Кібернетика

   
Кл.слова (ненормовані):
интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)

510.6(075)
Л 63


   Лисовик, Л. П.

    Теория трансдьюсеров [Текст] : [в 3 т.] : монография / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 1 : Главы 13-17, кн. 3 : Алгебра и автоматы. II . - 2005. - 262 с. - Лит.: с. 256-260. - ISBN 966-651-251-3 (т. 1). - ISBN 966-651-250-5 (кн. 3) : 30.00 грн
УДК
ББК 22.18я73
Рубрики: Математична логіка--Кібернетика--Наукові видання
   
Кл.слова (ненормовані):
елементарно стійкі множини -- элементарно устойчивые множества -- конструктивні булеви алгебри -- конструктивные булеви алгебры -- відносна еквівалентність -- относттельная эквивалентность -- квазисовідносини -- квазисоотношения -- квазисототожності -- квазисотождества -- математика -- мова -- язык -- мислення -- мышление
Анотація: Рассматривается проблема решения систем линейных диофантовых уравнений, продолжается изучение проблем эквивалентности для классов последовательностных преобразователей.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)

81'25(075.8)
М22


    Мамрак, Алла Володимирівна.
    Вступ до теорії перекладу [] : [навч. посіб. для студ. вищ. навч. закл.] / А. В. Мамрак. - К. : Центр учбов. л-ри, 2009. - 303, [1] с. - Бібліогр. на поч. ст. - Глосарій: с. 224-270. - Л-ра: с. 271-294. - ISBN 978-966-364-827-9 : 052.00 грн, 59.00 грн
УДК
ББК 81.07-923
Рубрики: Мовознавство--Переклади--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
еквівалентність -- еквивалентность -- моделі перекладу -- модели перевода -- семантика слова -- семантика слова -- морфологічні категорії -- морфологические категории -- лексичні відповідності -- лексические соотвествия -- синтаксичні відповідності -- синтаксические соответствия -- трансформації -- трансформации
Анотація: Посібник складається з методичного подання, покликаного сприяти оптимальному його використанню в навчальних цілях.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)



   
    Угода між Кабінетом Міністрів України та Урядом Республіки Молдова про взаємне визнання і еквівалентність документів про освіту і вчені звання [] : угода... від 18 трав. 2001 р. // Офіційний вісник України. - 2009. - N 10. - С. 39-40
Рубрики: Міжнародне право--Міжнародні договори--Україна--Республіка Молдова
   

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Є примірники у відділах: всього 1 : БГ (1)
Вільні: БГ (1)


16(075)
И25


    Івін, Олександр Архипович.
    Логіка [] : експериментальний навч. посібник для факул. курсів за вибором учнів старших класів загальноосвіиніх, ліцеїв, гімназій / О. А. Івін. - К. : Артек, 1996. - 230 с. - (Трансформація гуманітарної освіти в Україні). - ISBN 5-7707-9414-3 : 3.20 грн
УДК
ББК 87.4я721
Рубрики: Логіка--Наукові видання
   
Кл.слова (ненормовані):
правильне міркування -- правильное рассуждение -- логічна форма -- логическая форма -- дедукція -- дедукция -- сучасна логіка -- современная логика -- слова та речі -- слова и вещи -- мова і мислення -- речь и мышление -- мова і світ -- язык и мир -- логічна граматика -- логическая грамматика -- імена -- имена -- визначення -- определение -- розподіл -- распределение -- висловлювання -- высказывания -- заперечення -- отрицание -- кон'юнкція -- конъюнкция -- диз'юнкція -- дизъюнкция -- умовне висловлювання -- условное высказывание -- імплікація -- импликация -- еквівалентність -- эквивалентность -- логічні закони -- логические законы -- Закон протиріччя -- Закон противоречия -- Закон виключеного третього -- Закон исключенного третьего -- логічні закони тотожності -- логические законы тождества -- Закони модальної логіки -- Законы модальной логики -- Закони логіки добра -- Законы логики добра -- логічне випливання -- логическое всплытием -- висловлювання -- высказывания -- логічний квадрат -- логический квадрат -- категоричний силогізм -- категорический силлогизм -- доведення і спростування -- доказывания и опровержения -- помилки у доведенні -- ошибки в доказательстве -- спростування -- опровержение -- багатозначні вислови -- многозначительные высказывания -- ситуативні слова -- ситуативные слова -- софізми -- софизмы -- індуктивні міркування -- индуктивные рассуждения -- неповна індукція -- неполная индукция -- надійність індукції -- надежность индукции -- аналогія -- аналогия -- дискусія та полеміка -- дискуссия и полемика
Анотація: Завдання цього експериментального навчального посібника - дати учням доступне уявлення про закони нашого мислення і про науку, яка їх вивчає, показати логічний аналіз у дії, застосовуючи його до змістовно цікавих проблем, шо зустрічаються у повсягденній практиці.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)

512.64
Х 79


    Хорн, Роджер.
    Матричный анализ [] / Р. Хорн, Ч. Джонсон ; пер. с англ.: Х. Д. Икрамова, А. В. Князева, Е. Е. Тыртышиникова ; под ред. Х. Д. Икрамова. - М. : Мир, 1989. - 655 с. - Лит.: с. 638-640. - Указ. обознач.: с. 641-642. - Предм. указ.: с. 643-652. - ISBN 5-03-001042-4 : 3.00 р.
УДК
ББК 22.143
Рубрики: Лінійна алгебра--Наукові видання
   
Кл.слова (ненормовані):
векторные пространства -- векторні простори -- матрицы -- матриці -- матричный анализ -- матричний аналіз -- собственные значения -- власні значення -- собственные векторы -- власні вектори -- унитарные матрицы -- унітарні матриці -- унитарная эквивалентность -- унітарна еквівалентність -- нормальные матрицы -- нормальні матриці -- канонические формы -- канонічні форми -- эрмитовы матрицы -- ермітови матриці -- симметрические матрицы -- симетричні матриці -- матричные нормы -- матричні норми -- нормы векторов -- норми векторів -- положительно определённые матрицы -- позитивно визначені матриці -- неотрицательные матрицы -- невід'ємні матриці -- примитивные матрицы -- примітивні матриці -- блочные матрицы -- блочні матриці
Анотація: Исчерпывающее изложение теории матриц, которая находит применение практически в любой отрасли математики и во всех её приложениях.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Джонсон, Чарльз; Икрамов, Х. Д. \пер.\; Князев, А. В. \пер.\; Тыртышиников, Е. Е. \пер.\; Икрамов, Х. Д. \ред.\
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)

311(075)
Ф59


   
    Фінансова статистика (з основами теорії статистики) [] : підручник для студ. вищ. навч. закл. / А. В. Головач [та ін.] ; за наук. ред. В. Б. Захожая ; Міжрегіон. Акад. управл. персоналом. - К. : МАУП, 2005. - 496 с. : ил. - Дод.: с. 468-481; - Літ.: с. 482-483. - ISBN 966-608-438-4 : 68.00 грн
УДК
ББК 65.051я73
Рубрики: Фінансова статистика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
теорія статистики -- теория статистики -- статистичне спостереження -- статистичское наблюдение -- статистичні таблиці -- абсолютні та відносні величини -- статистические таблицы -- абсолютные и относительные величины -- середні величини і варіація -- средние величины и вариация -- ряди динаміки -- ряды динамики -- індекси -- индексы -- вибірковий метод -- выборочный метод -- методи аналізу взаємозв'язків -- методы анализа взаимосвязей -- фінансова статистика -- финансовая статистика -- статистика державного бюджету -- статистика государственного бюджета -- статистика кредиту -- статистика кредита -- статистика грошового обігу -- статистика денежного оборота -- статистика ощадної справи -- статистика сберегательного дела -- статистика страхування -- статистика страхования -- статистика інвестиційної діяльності -- статистика инвестиционной деятельности -- фінансові розрахунки -- финансовые счета -- оцінювання зміни вартості -- оценка изменения стоимости -- еквівалентність відсоткових ставок -- эквивалентность процентных ставок -- фінансові потоки -- финансовые потоки -- довгострокова заборгованість -- долгосрочная задолженность -- облігації -- облигации
Анотація: Кількісна оцінка економічних явищ і процесів, що вдбуваються у фінансовій системі, в нерозривному зв'язку з їх якісними характеристиками. Наведено типові задачі та способи їх розв'язання.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Головач, Анатолій Варфоломійович; Захожай, Валерій Борисович; Головач, Наталія Анатоліївна; Шустіков, Андрій Анатолійович; Захожай, В. П. \ред.\; Міжрегіональна Академія управління персоналом
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)

681.5:681.5.012:681.5.013
Ч-65


    Чирков, Михаил Константинович.
    Основы общей теории конечных автоматов [] / М. К. Чирков ; Ленингр. Ордена Ленина и Ордена Труд. Красного Знамени гос. ун-т им. А. А. Жданова. - Л. : Изд-во Ленингр. ун-та, 1975. - 279 с. : рис., табл. - Лит.: с. 271-273. - 1.64 р.
УДК
ББК 32.815
Рубрики: Автоматів теорія--Практичні посібники
   
Кл.слова (ненормовані):
конечные автоматы -- кінцеві автомати -- вероятностные автоматные отображения -- ймовірні автоматичні відображення -- способы задания автоматов -- способи задання автоматів -- детерминированные автоматные отображения -- детермініровані автоматні відображення -- эквивалентность вероятностных автоматов -- еквівалентність ймовірних автоматів -- представление событий -- представлення подій -- алгебра событий -- алгебра подій -- регулярность событий -- регулярність подій -- теорема Клини -- теорема Кліні -- абстрактный анализ -- абстрактний аналіз -- минимизация автоматов -- мінімізація автоматів -- структурный анализ -- структурний аналіз -- синтез автоматов -- синтез автоматів -- алгебра логики -- алгебра логіки -- минимизация функций -- мінімізація функцій -- надежностный анализ -- надійністний аналіз
Анотація: Вопросы абстрактной и структурной теории вполне определенных и не полностью определенных вероятностных конечных автоматов.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Ленинградский Ордена Ленина и Ордена Трудового Красного Знамени государственный университет им. А. А. Жданова
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)

512.7
Ф94


    Фултон, Уильям.
    Теория пересечений [] = Intersection Theory : [монография] / У. Фултон ; пер. c англ. В. И. Данилова. - М. : Мир, 1989. - 584 с. - Доп.: с. 498-542.- Лит.: с. 543-565. - Список обознач.: с. 566-567. - Предм. указ.: с. 568-576. - ISBN 5-03-000849-7 (русск.). - ISBN 3-540-12176-5 (англ.) : 3.70 р.
УДК
ББК 22.147
Рубрики: Алгебра--Наукові видання
   Алгебраїчна геометрія--Наукові видання

   
Кл.слова (ненормовані):
раціональна еквівалентність -- рациональная эквивалентность -- дивізори -- дивизоры -- векторні розшарування -- векторные расслоения -- класи Чженя -- классы Чженя -- конуси -- конусы -- класи Сегре -- классы Сегре -- деформація до нормального конуса -- деформация к нормальному конусу -- твори-перетинання -- произведения-пересечения -- кратності перехрещень -- кратности пересечений -- алгебраїчні цикли -- алгебраические циклы -- динамічні пересічення -- динамические пересечения -- позитивність -- положительность -- раціональність -- рациональность -- грассманіани -- грассманианы -- формули Гізіна -- формула Гизина -- многочлени Шура -- многочлены Шура -- розшарування Грассмана -- расслоения Грассмана -- вирахування Шуберта -- исчисления Шуберта -- біваріантна теорія пересічень -- бивариантная теория пересечений -- теорема Римана-Роха -- теорема Римана-Роха
Анотація: Первое изложение теории пересечений алгебраических циклов на алгебраических многообразиях. В монографии отражены как новейшие результаты и методы, так и классические достижения.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Данилов, В. И. \пер.\
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)

519.617(075.8)
Я14


    Яблонский, Сергей Всеволодович.
    Введение в дискретную математику [] : учеб. пособие для студентов вузов, обуч. по спец. "Прикладная математика" / С. В. Яблонский. - 2-е изд., перераб. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1988. - 384 с. - Лит.: с. 370-372. - Предм. указ.: с. 373-380. - 0.95 р.
УДК
ББК 22.18я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
алгебра логіки -- алгебра логики -- еквівалентність формул -- эквивалентность формул -- детерміновані функції -- детерминованные функции -- обчислювані функції -- вычислимые функции -- комбінаторний аналіз -- комбинаторный анализ -- теорія кодування -- теория кодирования -- кібернетика -- кибернетика -- графи (мат.) -- графи (мат.) -- сети (мат.) -- мережі (мат.)
Анотація: Изложены основы дискретной математики. В книге широко используется геометрический язык и содержательные интерпретации понятий.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)

621.311(075)
А18


    Аввакумов, Володимир Григорович.
    Перехідні процеси в системах електропостачання. Елементи теорії, програми, ілюстрації [] : навч. посібник / В. Г. Аввакумов, Л. Б. Терешкевич, Г. Л. Лисенко ; М-во освіти і науки України, Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2015. - 244, [2] с. : рис., табл. - Скор.: с. 7. - Дод.: с. 204-242. - Літ.: с. 243-244. - ISBN 978-966-641-645-5 : 120.00 грн
УДК
ББК 31.27я73
Рубрики: Системи електропостачання--Надійність--Розрахунки--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
аварійні режими -- перехідні процеси -- трансформація симетричних складових струменів -- метод Кутта- Мерсона -- еквівалентність прямої послідовності -- зовнішнє коротке замикання -- стійкість електричних систем -- режими електричних систем -- критерій Рауса -- критерій Михайлова -- рівняння Парка-Горєва -- D-розбиття простору коефіцієнтів -- перевірка статичної стійкості -- рух синхронної машини -- дослідження електричних режимів -- моделі системи електропостачання
Анотація: Роль і значення розрахунків аварійних режимів для надійного електропостачання народного господарства.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Терешкевич, Леонід Борисович; Лисенко, Геннадій Леонідович; Міністерство освіти і науки України; Вінницький національний технічний університет
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)

811.112.2'25
Л27


    Латышев, Лев Константинович.
    Курс перевода (эквивалентность перевода и способы ее достижения) [] / Л. К. Латышев. - Москва : Междунар. отношения, 1981. - 246 с. - Загол. обкл. : Uebersetzungslehre in Wort und Beispiel. - Текст: рос., нім. - Лит.: с. 244-245. - 0.50 р.
УДК
ББК 81.432.4-7
Рубрики: Німецька мова--Переклад--Навчальні видання
   
Кл.слова (ненормовані):
німецька мова -- немецкий язык -- переклад з німецької -- перевод с немецкого -- еквівалентність перекладу -- эквивалентность перевода
Анотація: Учебник направлен на оказание практической помощи лицам, готовящим себя к переводческой работе с немецким языком. Книга отражает проблематику современной теории перевода и может быть полезной также и тем, кто интересуется вопросами его теории в научном плане.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ІН (1)
Свободны: ІН (1)

811.133.1'25(075.8)
Р13


    Рабош, Галина Михайлівна.
    Теорія і практика перекладу (французька мова) для факультетів міжнародних відносин [] = Theorie et pratique de la traduction le francais : посібник / Галина Рабош ; Львів. нац. ун-т ім. І. Франка. - Вінниця : Нова Кн., 2018. - 247, [1] с. - Лексич. покажч.: с. 244-245. - Предм. покажч.: с. 246. - Літ.: с. 247. - ISBN 978-966-382-681-3 : 140.00 грн
УДК
ББК 81.471.1-7
Рубрики: Французська мова--Переклад--Навчальні видання для вищої школи
   
Кл.слова (ненормовані):
французька мова -- курс перекладу -- фаховий переклад -- засоби перекладу -- визначення перекладу -- еквівалентність при перекладі -- рівні еквівалентності -- граматичні перетворення -- морфологічні розходження -- стилістичні розходження -- лексичні особливості -- синтаксичні фігури -- анафора -- епіфора
Анотація: Посібник передбачає розвиток навичок усного та письмового перекладів, вивчення стилістичних особливостей французької публіцистики, а також ознайомлення та засвоєння суспільно-політичної, економічної та правової термінології французької мови, вивчення зворотів газетної та офіційно-ділової мови. Посібник являє собою систематичний курс перекладу, в якому текстовий матеріал супроводжується коментарями та вправами. У посібнику подаються численні еквіваленти найвживаніших термінів, притаманні фаховій літературі. Кожний урок включає зразки офіційно-ділового стилю, інформаційні статті, а також коментарі, вправи і глосарій. Посібник призначений для студентів факультетів міжнародних відносин. Може бути використаний для широкого загалу читачів, які мають базові знання з французької мови.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Львівський національний університет імені Івана Франка
Примірників всього: 1
ІН (1)
Свободны: ІН (1)



    Кузовков, Юрій.
    Особливості експертизи заявок на групи винаходів "спосіб-пристрій" [] / Ю. Кузовков // Інтелектуальна власність в Україні. - 2020. - N 1. - С. 18-21. - Використані джерела: с. 21 . - ISSN 1608-6422
Рубрики: Винаходи--Патентна експертиза
Кл.слова (ненормовані):
патентоздатність винаходів -- винахідницький рівень -- технічне рішення винаходу -- еквівалентність винаходу

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)




    Месель-Веселяк, В. Я.
    Ефективність господарювання новостворених сільськогосподарських підприємств ринкового спрямування в Україні [] / В. Я. Месель-Веселяк // Економіка АПК. - 2016. - N 12. - С. 21-33 : табл. - Бібліогр. в кінці ст.
Рубрики: Сільськогосподарські підприємства--Україна
   Фермерське господарство--Україна

Кл.слова (ненормовані):
реформування сільського господарства -- сільськогосподарська продукція -- ціноутворення -- еквівалентність цін

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Є примірники у відділах: всього 1 : ВВ (1)
Вільні: ВВ (1)


31.311
Ф42


    Фен, Джон.
    Машины, энергия, энтропия [] / Дж. Фен ; пер. с англ.: М. Ю. Новикова под ред. Ю. Г. Рудого. - Москва : Мир, 1986. - 336 с. : рис., табл. - Предм. указ.: с. 325-330. - 1.70 р.
Переклад назви: Engines, energi and entropy
ББК 31.311
Рубрики: Термодинаміка--Технічна термодинаміка--Практичні посібники
   
Кл.слова (ненормовані):
термодинамика -- техническая термодинамика -- идеальные газы -- ідеальні гази -- теплообмен -- теплообмін -- циклические процессы -- циклічні процеси -- эквивалентность теплоты -- еквівалентність теплоти -- энтропия -- ентропія -- правила тепловой машины -- правила теплової машини
Анотація: Книга представляет собой вводный курс термодинамики, ее принципы и технические положения.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Новиков, М. Ю. \пер.\; Рудой, Ю. Г. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)