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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Пошуковий запит: <.>K=модальная логика<.>

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

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(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( 075)
Ж 79

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

УДК

16( 075)

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

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

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

16
И 25

Ивлев, Юрий Васильевич.
Содержательная семантика модальной логики [] : монография / Ю. В. Ивлев. - М. : Изд-во Моск. ун-та, 1985. - 170 с. - Лит.: с.166-168. - 0.75 р.

УДК

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

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

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

160(075)
И 97

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

УДК

160(075)

16(075)
Х 76

Хоменко, І. В.
Логіка - юристам [] : підручник для студ. юридич. спеціальностей вищ. учбових закл. / І. В. Хоменко. - К. : Четверта хвиля, 1997. - 386 с. - Л-ра: с. 377-387. - ISBN 966-529-045-2 : 8.80 грн р.

УДК

16(075)

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

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

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

16(075.8)
К21

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

УДК

16(075.8)

16(075.8)
П58

Попов, Микола Васильович.
Логіка [] : навч. посібник для студ. вищ. мед. навч. закл. / М. В. Попов. - К. : Медицина, 2015. - 182, [2] с. : рис., табл., cх. - Дод.: с. 162-181. - Л-ра: с. 182. - ISBN 978-617-505-294-5 : 47.00 грн

УДК

16(075.8)

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

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

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

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

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