Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повний інформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>K=формализация<.>
Загальна кількість знайдених документів : 20
Показані документи с 1 за 10
 1-10    11-20  
1.

Форма документа : Однотомне видання
Шифр видання : 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)
ББК : 26.8я73 + 32.81я73
Предметні рубрики: Географія
Інформатика
Географіч. рубрики:
Анотація: Визначення, предмет, історія розвитку геоінформатики та ії місце серед інших наук, розкрито основи технології географічних інформаційних систем - сучвсної інформаційної технології роботи з просторово-координованою інформаціією, подана характеристика аналітичних можливостей сучасних інструментальних географічних інформаційних систем, а також функціональних і аналітичних можливостей світових лідерів програмного забезпечення географічних інформаційних систем.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

2.

Форма документа : Однотомне видання
Шифр видання : 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)
Знайти схожі

3.

Форма документа : Однотомне видання
Шифр видання : 631:001.8](075.8)/М54-486345
Автор(и) : Ермантраут Е. Р., Малиновський А. С., Дідора В. Г., Смаглій О. Ф.
Назва : Методика наукових досліджень в агрономії : навч. посібник
Вихідні дані : Житомир: ЖНАЕУ, 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)
Знайти схожі

4.

Форма документа : Однотомне видання
Шифр видання : 159.9.07/П86
Назва : Психологическая диагностика. Проблемы и исследования : [монография]
Вихідні дані : М.: Педагогика, 1981
Кільк.характеристики :230 с.: рис.
Примітки : Лит.: с. 217-230
Ціна : 1.40 р.
УДК : 159.9.07
ББК : 88.5
Предметні рубрики: Психодіагностика
Географіч. рубрики:
Анотація: Изложение и краткий анализ наиболее распространенных психологических и психофизиологических диагностических методик.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

5.

Форма документа : Однотомне видання
Шифр видання : 16(075)/К 64
Автор(и) : Конверський, Анатолій Євгенович
Назва : Логіка : підручник для студ. вищ. навч. закл.
Вихідні дані : К.: Укр. Центр духов. культури, 1999
Кільк.характеристики :400 с.: граф., табл.
Примітки : Бібліогр. в підрядковій прим. - Л-ра: с. 393-394
ISBN, Ціна 966-7276-50-3: 14.00, 18.34, грн
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Підручник складається з двох частин: "Традиційна логіка" і "Класична логіка". В першій частині розкривається предмет, метод логіки, основні форми та закони мислення. У другій частині розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій в межах логіки висловлювань і логіки предикатів.
Примірники : всього : ЧЗ(2), АБ(1)
Вільні : ЧЗ(2), АБ(1)
Знайти схожі

6.

Форма документа : Однотомне видання
Шифр видання : 16/И 97
Автор(и) : Ишмуратов, Анатолий Темиргалиевич
Назва : Логический анализ практических рассуждений / Формализация психологических понятий /
Вихідні дані : К.: Наукова думка, 1987
Кільк.характеристики :140 с
Колективи : Академия наук Украинской ССР, Институт философии
Примітки : Библиогр.: с.130-138
Ціна : 1 р.
УДК : 16
ББК : 87.4
Предметні рубрики: Логика
Географіч. рубрики:
Анотація: В монографии средствами логики исследуются практические рассуждения, с помощью которых обьясняется человеческое поведение и обосновываются намерения действующих и взаимодействующих индивидов. Предложено формализованное описание понятий общей и социальной психологии: ожидание, убеждение, стремление, чувство, установка, норма, роль, группа.На основе анализа этих понятий формулируются приципы построения логики практических рассуждений, включающей логику изменений, логику убеждений, логику стремлений, норм, оценок, логику взаимодействия индивидов, логику вопросов и ответов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

7.

Форма документа : Однотомне видання
Шифр видання : 16/Л 69
Назва : Логика,психология и семиотика: аспекты взаимодействия : [сборник науч. трудов]
Вихідні дані : К.: Наук. думка, 1990
Кільк.характеристики :160 с
Колективи : Академия Наук Украинской ССР, Институт философии
Примітки : Лит. в конце ст.; Лит.: с. 149-159
ISBN, Ціна 5-12-001696-0: 1.90 р.
УДК : 16
ББК : 87.4
Предметні рубрики: Методологічна взаємодія логіки, психологіїі семіотики
Географіч. рубрики:
Анотація: В сборнике рассматриваются возможности и перспективы методолоогического взаимодействия логики, психологии и семиотики. Анализируются возможности формализации психологических понятий и категорий, логико-семантического и структурно-номинативного моделирования психики.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

8.

Форма документа : Однотомне видання
Шифр видання : 16/С 50
Автор(и) : Смирнова, Елена Дмитриевна
Назва : Основы логической семантики : учеб. пособие для студ. филос. ф-тов вузов
Вихідні дані : М.: Высшая школа, 1990
Кільк.характеристики :144 с
Примітки : Лит.: с. 140-142
ISBN, Ціна 5-06-001495-9: 0.35 р.
УДК : 16
ББК : 87.41
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

9.

Форма документа : Однотомне видання
Шифр видання : 007(035)/И 85
Назва : Искусственный интеллект: справочник : в 3 т. Кн. 2: Модели и методы
Вихідні дані : М.: Радио и связь, 1990
Кільк.характеристики :304 с.: рис., табл.
Примітки : Лит.: с. 257-303
ISBN, Ціна 5-256-00368-2: 1.80 р.
УДК : 007(035)
ББК : 32.813я2
Предметні рубрики: Системи штучного інтелекту-- Моделі
Географіч. рубрики:
Анотація: Направления теории интеллектуальных систем: представление знаний, логический вывод на знаниях, языки общения, понимание текстов, модели обучения.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 007/О-79
Автор(и) : Осуга, Сэцуо
Назва : Обработка знаний
Вихідні дані : М.: Мир, 1989
Кільк.характеристики :293 с.: рис., табл.
ISBN, Ціна 4-274-07321-1: 1.10 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект
Анотація: Исследования по искусственному интеллекту, методы представления знаний в экспертных системах.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

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