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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>K=теория доказательств<.>

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

343.13(477)(075.8)
К 56

Коваленко, Євген Георгійович.
Теорія доказів у кримінальному процесі України [] : підручник для студ. вищ. юридич. навч. закл. / Є. Г. Коваленко. - К. : Юрінком Інтер, 2006. - 632 с. : табл. - Л-ра: с. 620-621. - Предм. покажч.: с. 622-623. - Ім. покажч.: с. 624-626. - ISBN 966-667-207-3 : 45.00 грн

УДК

343.13(477)(075.8)

ББК 67.9(4УКР)311я73
Рубрики: Кримінальний процес--Теорія доказів--Україна--Навчальні видання

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

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

51
Г47

Гильберт, Давид.
Основания математики [Текст] : теория доказательств = Grundlagen der mathematik. II : D. Hilbert, P. Bernays / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; под ред. С. И. Адяна. - М. : Наука, 1982. - 652 с. : рис. - (Математическая логика и основания математики). - Прил.: с. 457-646. - Алфав. указ.: с. 647-652. - 3.40 р.

УДК

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

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

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

510.6
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Навчальні видання

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

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

510.6(075.8)
Е80

Ершов, Юрий Леонидович.
Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.

УДК

510.6(075.8)

ББК 22.122я73
Рубрики: Математична логіка--Навчальні видання для вищої школи

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

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

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

510.6(075.8)
К60

Колмогоров, Андрей Николаевич.
Математическая логика. Дополнительные главы [] : учеб. пособие для студентов вузов, обучающихся по специальности "Математика" / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1984. - 120 с. - Лит.: с. 119. - 0.25 р.

УДК

510.6(075.8)

ББК 22.122я73
Рубрики: Матемиатична логіка--Навчальні видання для вищої школи

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

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

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

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