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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

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

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

510.6(076)
Т 76

Трохимчук, Ростислав Миколайович.
Збірник задач і вправ з математичної логіки [] : навч. посіб. для студентів вищ. учб. закл. / Р. М. Трохимчук ; Міжрегіональна Академія Управління персоналом. - К. : Персонал, 2008. - 114 с. : табл. - Л-ра: с. 113. - ISBN 978-966-608-854-6 : 013.50 грн

УДК

510.6(076)

ББК 22.12я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)
Б23

Бандурка, Олександр Маркович.
Курс логіки [] : підручник / О. М. Бандурка, О. В. Тягло. - К. : Літера, 2002. - 156 с. : табл. - Л-ра: с. 155-156. - ISBN 966-7543-19-6 : 8.50 грн

УДК

16(075)

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

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

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

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

87.4
З-47

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

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

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

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

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

16
И 25

Ивин , Александр Архипович.
По законам логики [] / А. Ивин. - М. : Мол. гвардия, 1983. - 208 с. : ил. - (Эврика). - 0.60 р.

УДК

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

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

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

16
П68

Попович, Мирослав Владимирович.
Очерк развития логических идей в культурно-историческом контексте [] : монография / М. В. Попович. - К. : Наукова думка, 1979. - 243 с. - 1.90 р.

УДК

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

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

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

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

16
Х 12

Хаваш, Каталин.
Так - логично! [] / К. Хаваш = Igy logikus! / G. Havas Katalin : научно-популярная литература. - М. : Прогресс, 1985. - 272 с. - 0.40 р.

УДК

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

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

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

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

140:165.0](430)
Ш62

Шинкарук , Владимир Илларионович.
Теория познания, логика и диалектика И. Канта (И. Кант как родоначальник немецкой классической философии) [] / В. И. Шинкарук ; Акад. наук УCСР, Ин-т философии. - К. : Наук. думка, 1974. - 336 с. - Л-ра: с. 328-334. - 1.42 р., 15.00 грн р.

УДК

140:165.0](430)

ББК 87.3(4НІМ)5 + 87.22
Рубрики: Філософія--Наукові видання

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

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

Дод.точки доступу:
Кант, Іммануїл (філософ ; 1724 - 1804); Бекон, Френсіс (філософ ; 1561 - 1626); Фіхте, Іоган Готліб (філософ ; 1762 - 1814); Шеллінг, Фрідрих Вільгельм Йозеф (філософ ; 1775-1854); Гегель, Георг Вільгельм Фрідріх (філософ ; 1771-1831); Акад. наук УCСР; Ин-т философии
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

517.5(075.8)
М34

Математичний аналіз функцій дійсної змінної [] = Mathematical analysis of one real variable functions : навч. посіб. / [Х. Т. Дрогомирецька та ін.] ; М-во освіти і науки України, Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2016. - 589, [3] с. : рис., табл. - Авт. зазначено на звороті тит. арк. - Літ.: с. 560-565. - Дод.: с. 566-584. - Предм. покажч.: с. 585-589. - ISBN 978-617-607-944-6 : 324.00 грн

УДК

517.5(075.8)

ББК 22.161.5я73
Рубрики: Функції дійсної змінної--Навчальні видання для вищої школи

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

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

Дод.точки доступу:
Дрогомирецька, Христина Теофілівна; Каленюк, Петро Іванович; Клапчук, Мирослава Іванівна; Понеділок, Григорій Володимирович; Міністерство освіти і науки України; Національний університет "Львівіська політехніка"
Примірників всього: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Знайти схожі

10.

16(075.8)
Б61

Білоус, Богдан Петрович.
Логіка [] : навч. посібник / Б. П. Білоус. - Житомир : ЖДТУ, 2006. - 166 с. - Літ. в кінці розд.: с. 10-11; 164-165. - Дод.: с. 157-164. - 7.88 грн

УДК

16(075.8)

ББК 87.4я73
Рубрики: Логіка--Теорія--Практичні роботи--Навчальні видання
Логіка --Соціальна--Історія--Навчальні видання

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

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

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