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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>K=логика высказываний<.>

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

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)
Знайти схожі

16:34(075.8)
Щ 64

Щербина, Олена Юріївна.
Логіка для юристів [] : курс лекцій / О. Ю. Щербина. - Вид. 4-те. - К. : Юрид. думка, 2009. - 264 с. : рис. - Слов.: с. 247-259. - Л-ра: с. 260-263. - ISBN 978-966-326-254-3 : 49.00 грн

УДК

16:34(075.8)

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

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

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

16(075)
Ж79

Жоль, Костянтин Костянтинович.
Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грн

УДК

16(075)

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

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

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

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

16
Ж 79

Жоль, Константин Костантинович.
Методы научного познания и логика ( для юристов). [] : учеб. пособ. / К. К. Жоль ; рец.: В. Б. Аверьянов, А. Т. Ишмуратов, В. А. Рыжко ; ред. А. Е. Конверский . - К. : Атика, 2001. - 288 с. - (Bibliotheca S tudiorum). - Лит.: с.278-285. Табл. символ. с.286-287. - ISBN 966-7714-60-8 : 14.50 грн

УДК

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

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

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

Дод.точки доступу:
Аверьянов, В. Б. \рец.\; Ишмуратов, А. Т. \рец.\; Рыжко, В. А. \рец.\; Конверский , А. Е. \ред.\
Примірників всього: 2
ЧЗ (2)
Свободны: ЧЗ (2)
Знайти схожі

16( 075)
Ж 79

Жоль, Константин Константинович.
Вступ до сучасної логіки [] : навч. посіб. / К. К. Жоль. - К. : Вища шк., 1992. - 128 с. - Реком. покажч.: с.127-128. - ISBN 5-11-003825-2 : 10 р.

УДК

16( 075)

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

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

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

87.4
З-47

Зегет, Вольфганг.
Элементарная логика [] = Elementare logik : [учеб. пособие] / В. Зегет ; пер. с нем. И. М. Морозовой ; под ред. и с предисл. Е. Б. Кузиной. - М. : Высш. шк., 1985. - 256 с. - Библиогр. в подстрочном примеч. - Лит.: с. 254. - 0.90 р.

ББК 87.4
Рубрики: Логіка--Наукові видання

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

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

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

160(075)
И 97

Ішмуратов, Анатолій Теміргалійович.
Вступ до філософської логіки [] : підручник для студ. та асп. гуманіт. спец. вищ. навч. закл. / А. Т. Ішмуратов ; Міжнар. фонд "Відродження". - К. : Абрис, 1997. - 350 с. - (Програма "Трансформація Гуманітарної Освіти в Україні"). - Бібліогр.: с.333-344. - ISBN 966-531006-2 : 1.50 грн

УДК

160(075)

16(075.8)
К21

Карамишева, Неллі Василівна.
Логіка (теоретична і прикладна) [] : навч. посібник / Н. В. Карамишева. - К. : Знання, 2011. - 455, [1] с. : табл. - Л-ра: с. 454-455. - ISBN 978-966-346-725-2 : 83.00 грн

УДК

16(075.8)

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

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

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

007(075)
Н 64

Нікольський, Юрій Володимирович.
Системи штучного інтелекту [] : навч. посібник / Ю. В. Нікольський, В. В. Пасічник, Ю. М. Щербина ; за наук. ред. д. т. н. проф. В. В. Пасічника ; М-во освіти і науки України. - Л. : Магнолія 2006, 2010. - 278, [2] с. : табл., рис. - (Комп'ютинг). - Алф. покажч.: с. 271-274. - Л-ра: с. 275-278. - ISBN 978-617-57-40-11-4 : 120.00 грн

УДК

007(075)

ББК 32.813я73
Рубрики: Штучний інтелект--Навчальні видання для вищої школи

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

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

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

10.

001.891(075.8)*М
П16

Панішев, Анатолій Васильович.
Методологія наукових досліджень [] : навч. посібник / А. В. Панішев, О. Б. Мацій, Т. І. Пількевич ; М-во освіти та науки України, Житомир. держ. технол. ун-т. - Житомир : ЖДТУ, 2013. - 147, [1] с. : рис., табл. - Предм. покажч.: с. 136-144. - Літ.: с. 145-147. - ISBN 978-966-683-370-2 : 33.00 грн

УДК

001.891(075.8)*М

ББК 72.4я73
Рубрики: Наукові дослідження--Навчальні видання

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

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

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

11.

510.6(075)
К60

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

УДК

510.6(075)

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

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

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

12.

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

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

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

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

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

13.

510.6(075.8)
М33

Матвієнко, Микола Павлович.
Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн

УДК

510.6(075.8)

510.5(075.8)

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

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

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

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

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