Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формализация<.>

Загальна кількість знайдених документів : 20
Показані документи с 1 за 10

1-10 11-20

911:004(075.8)
С 24

Світличний, Олександр Олексійович.
Основи геоінформатикм [] : навч. посібник / О. О. Світличний, С. В. Плотницький ; за заг. ред. О. О. Світличного. - 2-ге вид., випр. і допов. - Суми : Унів. кн., 2008. - 294 с. : рис. - Слов. термінів: с. 281-287. - Слов. абревіатур: с. 288-289. - Л-ра: с. 290-294. - ISBN 978-966-680-413-9 : 038.00 грн

УДК

911:004(075.8)

16(075.8)
К 64

Конверський, Анатолій Євгенович.
Логіка (традиційна та сучасна) [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - 2-е вид. - К. : Центр учбов. л-ри, 2008. - 536 с. - Л-ра: с.534-535. - ISBN 978-966-364-735-7 : 90.00 грн

УДК

16(075.8)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
мислення -- мышление -- мова -- язык -- формалізація -- формализация -- поняття -- понятие -- судження -- суждение -- умовивід -- умозаключение -- аргументація -- аргументация -- спростування -- опровержение -- логіка висловлювань -- логика высказываний -- класична логіка -- классическая логика -- логіка предикатів -- логика предикатов -- некласична логіка -- неклассическая логика -- багатозначна логіка -- многозначная логика -- модальна логіка -- модальная логика -- закони логіки -- законы логики -- аналогія -- аналогия -- історія логіки -- история логики -- сучасна логіка -- современная логика -- традиційна логіка -- традиционная логика
Анотація: Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". Його написано на основі досвіду читання курсу "Логіка" в Київському національному університеті ім. Тараса Шевченка.

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

631:001.8](075.8)*М
М54

Методика наукових досліджень в агрономії [] : навч. посібник / Ермантраут Е. Р. [та ін.] ; М-во аграр. політики України, Житомир. нац. агроекол. ун-т. - Житомир : ЖНАЕУ, 2010. - 123, [1] с. : рис., граф. - Літ.: с. 121. - ISBN 978-966-8706-48-6 : 40.00 грн

УДК

631:001.8](075.8)*М

ББК 4я73 + 72я73
Рубрики: Агрономія--Методи досліджень--Навчальні видання для вищої школи
Агрономія--Наукові досліження--Історія, 18-19 ст.--Навчальні видання для вищої школи

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

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

Дод.точки доступу:
Ермантраут, Е. Р.; Малиновський, А. С.; Дідора, В. Г.; Смаглій, О. Ф.; Міністерство аграрної політики України; Житомирський національний агроекологічний університет
Примірників всього: 1
КР (1)
Свободны: КР (1)
Знайти схожі

159.9.07
П86

Психологическая диагностика. Проблемы и исследования [] : [монография] / под. ред. К. М. Гуревича. - М. : Педагогика, 1981. - 230 с. : рис. - Лит.: с. 217-230. - 1.40 р.

УДК

159.9.07

ББК 88.5
Рубрики: Психодіагностика--Наукові видання

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

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

Дод.точки доступу:
Гуревич, К. М. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

16(075)
К 64

Конверський, Анатолій Євгенович.
Логіка [] : підручник для студ. вищ. навч. закл. / А. Є. Конверський. - К. : Укр. Центр духов. культури, 1999. - 400 с. : граф., табл. - Бібліогр. в підрядковій прим. - Л-ра: с. 393-394. - ISBN 966-7276-50-3 : 14.00 грн, 18.34 грн

УДК

16(075)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
традиційна логіка -- традиционная логика -- предмет логіки -- предмет логики -- мислення і мова -- мышление и язык -- формалізація логіки -- формализация логики -- логічні терміни -- логические термины -- теорія імен -- теория имен -- функціональний аналіз у логіці -- функциональный анализ в логике -- історія логіки -- история логики -- логічні операціїї над поняттями -- логические операции над понятиями -- судження -- суждения -- атрибутивні судження -- атрибутивные суждения -- модальні судження -- модальные суждения -- умовиводи -- умозаключения -- аргументація -- аргументация -- класична логіка -- классическая логика -- логіка висловлювань -- логика изречений -- логіка предикатів -- логика предикатов
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.

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

16
И 97

Ишмуратов, Анатолий Темиргалиевич.
Логический анализ практических рассуждений / Формализация психологических понятий / [] / А. Т. Ишмуратов ; Акад. наук Укр. ССР, Ин-т философии. - К. : Наукова думка, 1987. - 140 с. - Библиогр.: с.130-138. - 1 р.

УДК

ББК 87.4
Рубрики: Логика

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

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

Дод.точки доступу:
Академия наук Украинской ССР; Институт философии
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

16
Л 69

Логика,психология и семиотика: аспекты взаимодействия [] : [сборник науч. трудов] / [Под ред. Б. А. Парахонского] ; АН УССР, Ин-т философии. - К. : Наук. думка, 1990. - 160 с. - Лит. в конце ст.; Лит.: с. 149-159. - ISBN 5-12-001696-0 : 1.90 р.

УДК

ББК 87.4
Рубрики: Методологічна взаємодія логіки, психологіїі семіотики--Навчальні видання для вищої школи

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

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

Дод.точки доступу:
Парахонский, Б. А. \ред.\; Академия Наук Украинской ССРИнститут философии
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

16
С 50

Смирнова, Елена Дмитриевна.
Основы логической семантики [] : учеб. пособие для студ. филос. ф-тов вузов / Е. Д. Смирнова. - М. : Высшая школа, 1990. - 144 с. - Лит.: с. 140-142. - ISBN 5-06-001495-9 : 0.35 р.

УДК

ББК 87.41
Рубрики: Логіка--Навчальні видання для вищої школи

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

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

007(035)
И 85

Искусственный интеллект [Текст] : справочник : в 3 т. - М. : Радио и связь, 1990. - ISBN 5-256-00756-4.
Кн. 2 : Модели и методы / под ред. Д. А. Поспелова. - 1990. - 304 с. : рис., табл. - Лит.: с. 257-303. - ISBN 5-256-00368-2 (кн. 2) : 1.80 р.

УДК

007(035)

ББК 32.813я2
Рубрики: Системи штучного інтелекту--Моделі--Довідкові видання

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

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

Дод.точки доступу:
Поспелов, Д. А. \ред.\
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

10.

007
О-79

Осуга, Сэцуо.
Обработка знаний [] / С. Осуга ; пер. с англ. В. И. Этовой. - М. : Мир, 1989. - 293 с. : рис., табл. - ISBN 4-274-07321-1 : 1.10 р.

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Наукові видання
Кл.слова (ненормовані):
системи обработки информации -- системи обробки інформації -- полезность знаний -- корисність знань -- инженерия знаний -- інженерія знань -- логика предикатов -- логіка предикатів -- теория множеств -- теорія множин -- интерпретация аксиом -- інтерпритація аксіом -- формализация проблемы -- формалізація проблеми -- описание проблемы -- опис проблем -- описание моделей -- опис моделей -- декларативные языки -- декларативні мови -- универсальные модели -- універсальні моделі
Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.

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

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

1-10 11-20

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)