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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

Знайдено у інших БД:

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

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

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

Пошуковий запит: <.>K=ДОКАЗАТЕЛЬСТВА<.>

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

1-20 21-40 41-60 61-80 81-100 101-104

Форма документа : Однотомне видання
Шифр видання : 007:004.42/С49
Автор(и) : Слэйгл, Джеймс
Назва : Искусственный интеллект: подход на основе эвристического программирования
Паралельн. назви :Artificial inteligence: the heuristic programming approach
Вихідні дані : М.: Мир, 1973
Кільк.характеристики :319 с.: рис., табл.
Примітки : Библиогр. в конце глав. - Прил.: с. 275-308. - Предм. указ.: с. 310-315
Ціна : 1.35 р.
УДК : 007:004.42
ББК : 32.813
Предметні рубрики: Штучний інтелект
Географіч. рубрики:
Анотація: Практические рекомендации начинающим исследователям по составлению эвристических программ.
Примірники : всього : ФОНД(2)
Вільні : ФОНД(2)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51/П47
Автор(и) : Пойа, Джордж
Назва : Математика и правдоподобные рассуждения . -2-е изд., испр.
Паралельн. назви :MATEMATICS AND PLAUSIBLE REASONING/ Poiya By G.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1975
Кільк.характеристики :464 с.: рис.
Примітки : Библиогр.: с. 463
Ціна : 1.71 р.
УДК : 51
ББК : 22.1
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): индукция--індукція--обобщения--узагальнення--геометрия--геометрія--теория чисел--теорія чисел--математическая индукция--математична індукція--максимумы--максимуми--минимумы--мінімуми--физическая математика--фізична математика--правдоподобные рассуждения--правдоподібні міркування--гипотезы--гіпотези--доказательства--докази--логика--логіка--исчисления--обчислення--рассуждения--міркування
Анотація: Данная книга обращена прежде всего к тем, кто изучает математику, - начиная от учащихся старших классов и студентов и кончая специалистами в различных областях, которым приходится встречаться с применением математических методов исследования.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/М50
Автор(и) : Мендельсон, Элиот
Назва : Введение в математическую логику . -2-е изд., испр.
Паралельн. назви :Introduktion to mathematical logic
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Кільк.характеристики :320 с.: рис.
Примітки : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Ціна : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 343.9(02)/Т59
Автор(и) : Торвальд, Юрген
Назва : Криминалистика сегодня. Развитие судебной серологии
Паралельн. назви :Die stunde der detektive.Werden und Welten der Kriminalistik
Вихідні дані : Москва: Юрид. лит., 1980
Кільк.характеристики :200 с.: ил.
Примітки : Библиогр. в подстрочном примеч.
Ціна : 1.40 р.
УДК : 343.9(02)
ББК : 67.894
Предметні рубрики: Криміналістика-- Судова експертиза
Анотація: На конкретных уголовных делах показаны развитие и возможности современных методов криминалистических исследований.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 343.977(091)"18/1/Т59-831647
Автор(и) : Торвальд , Юрген
Назва : Следы в пыли : развитие суд. химии и биологии
Паралельн. назви :Die Stunde der Detertide
Вихідні дані : Москва: Юрид. лит., 1982
Кільк.характеристики :176 с.: фото
Ціна : 1.30 р.
УДК : 343.977(091)"18/19"
ББК : 67.8 + 67.3
Предметні рубрики: Криміналістика-- Історія, 19-20 ст.
Географіч. рубрики:
Анотація: Книга является второй частью работы "Криминалистика сегодня" (1980 г.). Новая книга адресована читателям, интересующимся историей развития криминалистики (конец XIX - 60-е годы XX ст.). Основное внимание в работе уделяется использованию в криминалистике достижений физики, химии, биологии и других наук.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 519.21(075.8)/Г51
Автор(и) : Гирко, Вячеслав Леонидович
Назва : Предельные теоремы для функций случайных величин : учеб. пособие для студентов вузов, обуч. по спец. "Математика" и "Прикладная математика"
Вихідні дані : Киев: Вища шк., 1983
Кільк.характеристики :208 с
Примітки : Лит.: с. 203
Ціна : 0.60 р.
УДК : 519.21(075.8)
ББК : 22.171я73
Предметні рубрики: Математика
Прикладна математика
Географіч. рубрики:
Анотація: В учебном пособии изложены основные предельные теоремы для борелевских функций зависимых и независимых случайных величин.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 517.91(075.8)/А84
Автор(и) : Арнольд, Владимир Игоревич
Назва : Обыкновенные дифференциальные уравнения : учеб. пособие . -3-е изд., перераб. и доп.
Вихідні дані : Москва: Наука, Гл. ред. физ.-мат. лит., 1984
Кільк.характеристики :272 с.: рис.
Примітки : Предм. указ.: с. 268-271
Ціна : 0.90 р.
УДК : 517.91(075.8)
ББК : 22.161.61я73
Предметні рубрики: Диференціальні рівняння
Географіч. рубрики:
Анотація: Теория дифференциальных уравнений.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 621.391/Ф 76
Автор(и) : Фомин, Владимир Николаевич
Назва : Рекуррентное оценивание и адаптивная фильтрация
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1984
Кільк.характеристики :288 с
Примітки : Лит.: с. 277-285
Ціна : 3.00 крб
УДК : 621.391
ББК : 32.81
Предметні рубрики: Адаптивні автоматичні системи
Географіч. рубрики:
Анотація: Изложены разделы адаптивной фильтрации в условиях параметрической неопределенности в помехо-сигнальной обстановке.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 517.2(075.3)/Л99
Автор(и) : Лященко, Микола Якович
Назва : Похідна та її застосування : посіб. для самоосвіти вчителів
Вихідні дані : К.: Рад. шк., 1985
Кільк.характеристики :153 с
Примітки : Л-ра: с. 153
Ціна : 0.25 р.
УДК : 517.2(075.3)
ББК : 22.161.11я72
Предметні рубрики: Диференціальне числення
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): обернені тригонометричні функції--обратные тригонометрические функции--частина приросту функції--часть прироста функции--дотична до графіку функції--касательная к графику функции--швидкість і прискорення--скорость и ускорение--зростання і спадання функції--возростания и убывания функции--екстремум функції--экстремум функции--опуклість графіка функції--выпуклость графика функции--асимптоти графика функції--асимптоты графика функции--дослідження функції--исследование функции--побудова графіка--построение графика--доведення нерівностей--доказательства неровностей--доведення тотожностей--доказательства тождеств--интеграл
Анотація: В посібнику розглядаються найважливіші застосування методів диференційного обчислення до наближеного знаходження значень функцій і коренів нелінійних алгебраїчних рівнянь, доведення тотожностей і нерівностей, до вирішення фізичних і екстремальних геометричних завдач, до побудови графіку функцій.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

10.

Форма документа : Однотомне видання
Шифр видання : 16/Х 12
Автор(и) : Хаваш, Каталин
Назва : Так - логично! : научно-популярная литература
Паралельн. назви :Igy logikus!/ G. Havas Katalin
Вихідні дані : М.: Прогресс, 1985
Кільк.характеристики :272 с
Ціна : 0.40 р.
УДК : 16
ББК : 87.4
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: В настоящей книге в популярной форме рассматриваются вопросы так называемой практической логики. Автор знакомит читателей с некоторыми формами и приемами мышления, которые люди применяют не только в процессе научного познания, но и в повседневной мыслительной деятельности.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

11.

Форма документа : Однотомне видання
Шифр видання : 16(075)/С 24
Автор(и) : Свинцов, Виталий Иванович
Назва : Логика : учеб. для ф-тов журналистики ун-тов и ред.-издат. ф-тов полиграф. ин-тов
Вихідні дані : М.: Высшая школа, 1987
Кільк.характеристики :288 с.: рис.
Примітки : Предм.-имен. указ.: с. 278-282
Ціна : 0.60 р.
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Учебник подготовлен в соответствиии с программой курса логики с учетом специфики преподавания этой дисциплины на факультетах журналистики университетов и редакционно-издательских факультетах полиграфических институтов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

12.

Форма документа : Однотомне видання
Шифр видання : 514.1(075.3)/М34
Назва : Математический кружок. Геометрия . Вып. 1
Вихідні дані : М.: Бюро Квантум, 1988
Кільк.характеристики :128 с.: рис.
Серія: Приложение к журналу "Квант"; № 1/98
Примітки : Библиогр. в подстрочном примеч.
ISBN, Ціна 5-85843-009-0: 7.65 р.
УДК : 514.1(075.3)
ББК : 22.151я72
Предметні рубрики: Геометрія
Географіч. рубрики:
Анотація: Сборник статей по геометрии, опубликованных в разные годы в журнале "Квант" под рубрикой "Математический кружок".
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 510.6/С 32
Автор(и) : Середа, Володимир Юрійович
Назва : Вчись мислити логічно : для старш. шк. віку
Вихідні дані : К.: Рад. шк., 1989
Кільк.характеристики : 175: рис., табл.
Примітки : Л-ра: с. 173
ISBN, Ціна 5-330-00745-3: 0.35 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Розкриваються основні формально-логічні закони побудови правильних суджень і умовиводів. За допомогою цих законів, а також елементів математичної логіки аналізуються причини появи типових помилок під час роз'язування різноманітних задач шкільного курсу математики.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

14.

Форма документа : Однотомне видання
Шифр видання : 373.5.016:51/Б36
Автор(и) : Бевз, Григорій Петрович
Назва : Методика викладання математики : навч. посібник для студ. фізико-мат. факультетів пед. інститутів . -3-тє вид., переробл. і допов.
Вихідні дані : К.: Вища шк., 1989
Кільк.характеристики :367 с.: рис., табл.
Примітки : Л-ра: с. 359-361. - Предм. покажч.: с. 362-365
ISBN, Ціна 5-11-001323-3: 1.00 р.
УДК : 373.5.016:51
ББК : 74.262.21
Предметні рубрики: Математика-- Методика викладання-- Загальноосвітні школи
Ключові слова (''Вільн.індекс.''): методика преподавания математики--математика в школі--математика в школе--викладання математики в школі--преподавание математики в школе--математичні поняття--математические понятия--доведення теорем--доказательства теорем--математичні задачі--математические задачи--засоби навчання математики--средства обучения математике--методи навчання математики--факультативні заняття з математики--факультативные занятия по математике--позакласна робота з математики--внеклассная работа по математике
Анотація: У посібнику викладено питання методики викладання математики в загальноосвітніх школах.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 86.378.152/Ж 71
Назва : Жизнь - как она возникла? Путем эволюции или путем сотворения? : [пер. с англ.]
Вихідні дані : Brooklyn, New York: U.S.A., 1992
Кільк.характеристики :256 с.: рис., цв. ил.
Примітки : Лит.: с. 252-255
Ціна : 1.00 грн
ББК : 86.378.152
Предметні рубрики: Життя-- Походження-- Релігійні погляди
Географіч. рубрики:
Анотація: В книге тщательно исследуется вопрос, как возникла жизнь - и какое это имеет значение для будущего.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

16.

Форма документа : Однотомне видання
Шифр видання : 347.998(075.8)/М69
Автор(и) : Міхеєнко, Михайло Макарович, Молдован В. В., Радзієвська Л. К.
Назва : Порівняльне судове право : підручник
Вихідні дані : К.: Либідь, 1993
Кільк.характеристики :325 с
Примітки : Бібліогр. в кінці розд. - Предм. покажч.: с. 321-323
ISBN, Ціна 5-325-00393-3: 120.00 крб
УДК : 347.998(075.8)
ББК : 67.310я73
Предметні рубрики: Кримінально-процесуальне право
Цивільне процесуальне право
Анотація: Розглядаються основи кримінального процесуального і цивільного процесуального права чотирьох країн, що представляють дві головні правові системи сучасності - романо-германську (Франція та Україна) і загального права (Англія і Сполучені Штати Америки).
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

17.

Форма документа : Однотомне видання
Шифр видання : 343.13(470)(075.8/У26-911496
Автор(и) : Алексеева Л. Б., Давыдов В. А., Дьяченко М. С., Ивлиев Г. П.
Назва : Уголовный процесс : учеб. для вузов
Вихідні дані : Москва: Юристъ, 1995
Кільк.характеристики :544 с
Примітки : Библиогр. в подстрочном примеч. - Авт. зазначено на звороті тит. арк.
ISBN, Ціна 5-7357-0024-3: 617000.00 крб
УДК : 343.13(470)(075.8)
ББК : 67.311.3(РОС)
Предметні рубрики: Кримінальний процес --Росія
Кримінальний процес --Зарубіжні країни
Анотація: Излагаются все положения курса уголовного процесса, предусмотренные учебной программой для высших юридических учебных заведений. Учтены все правовые акты, принятые в период проведения судебной реформы 1992-1993 гг.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

18.

Форма документа : Однотомне видання
Шифр видання : 517.16(075)/К96
Автор(и) : Кушнир И. А.
Назва : Неравенства. Задачи и решения
Вихідні дані : К.: Астарта, 1996
Кільк.характеристики :544 с.: рис.
ISBN, Ціна 5-7707-9131-4: 7.60 грн
УДК : 517.16(075)
ББК : 22.161.0я7
Предметні рубрики: Нерівності-- Задачі
Географіч. рубрики:
Анотація: Рассмотрены решения различных типов неравенств. По каждому из них набор задач многочислен и разнообразен. Большое внимание уделено доказательству неравенств.
Примірники : всього : ЧЗ(2)
Вільні : ЧЗ(2)
Знайти схожі

19.

Форма документа : Однотомне видання
Шифр видання : 16(075)/И 20
Автор(и) : Иванов Е. А.
Назва : Логика : учебник
Вихідні дані : М.: БЕК, 1996
Кільк.характеристики :309 с.: табл.
Примітки : Библиогр. в подстрочном примеч.
ISBN, Ціна 5-85639-137-3: 6.46 грн
ISBN, Ціна 3-406-40989-х: Б.ц.
УДК : 16(075)
ББК : 87.4я73
Предметні рубрики: Логіка
Географіч. рубрики:
Анотація: Излагается общая логика, а также элементы математической (символической) и диалектической логики. Иллюстративный материал подобран с учетом специфики юридической аудитории.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

20.

(Вільних примірників немає)
Форма документа : Однотомне видання
Шифр видання : 67.9(4УКР)311.3/М69
Автор(и) : Михеєнко М. М., Шибіко В. П., Дубинський А. Я.
Назва : Науково-практичний коментар Криминально-процесуального кодексу України : за станом законодавства та постанов Пленуму Верховного Суду України на 15 серпня 1997 р.
Вихідні дані : К.: Юрінком Інтер, 1997
Кільк.характеристики :624 с
Колективи : Верховний суд України, Київський Національний університет імені Тараса Шевченка
Примітки : Авт. зазначено на звороті тит. арк.
ISBN, Ціна 966-7302-02-4: 18.20 грн
ББК : 67.9(4УКР)311.3
Предметні рубрики: Кримінально-процесуальний кодекс --Україна
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): підсудність--подсудность--докази--доказательства--порушення криминальної справи--нарушения криминального дела--дізнання--дознания--попереднє слідство--предварительное следствие--провадження справ у суді--производство дел в суде--судове слідство--судебное следствие--постановлення вироку--вынесения приговора--касаційне оскарження--кассационное обжалование--виконання вироку--исполнение приговора--протокольна форма досудової підготовки--протокольная форма досудебной подготовки--злочини неповнолітніх--преступления несовершеннолетних--вирок--приговор--слідство--следствие
Анотація: У науково-практичному коментарі Кримінально-процесуального кодексу України дається доктринальне тлумачення норм КПК за станом законодавства на 15 серпня 1997 р. з урахуванням положень Конституції України, законів і підзаконних актів, судової, прокурорської, слідчої та адвокатської практики.
Примірники :
Знайти схожі

1-20 21-40 41-60 61-80 81-100 101-104

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