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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Пошуковий запит: <.>U=510.6<.>

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

510.6
С 32

Середа, Володимир Юрійович.
Вчись мислити логічно [] : для старш. шк. віку / В. Ю. Середа. - К. : Рад. шк., 1989. - 175 : рис., табл. - Л-ра: с. 173. - ISBN 5-330-00745-3 : 0.35 р.

УДК

510.6

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

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

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

510.6
Ш37

Шевченко, Владимир Егорович.
Некоторые способы решения логических задач [] : пособие / В. Е. Шевченко ; [редкол.: А. В. Скороход и др.]. - К. : Вища шк., 1979. - 80 с. - (Библиотечка физико-математической школы : математика). - Лит.: с. 78. - 0.15 р.

УДК

510.6

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

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

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

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

510.6
Н73

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

УДК

510.6

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

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

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

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

510.6
С50

Смаллиан, Рэймонд М..
Алиса в стране Смекалки [] = Alice in Puzzle-Land : пер. с англ. / Рэймонд М. Смаллиан ; рис. Г. Фиттинга ; пер. с англ. Ю. А. Данилова. - М. : Мир, 1987. - 182 с. : рис., табл. - 0.50 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Задачі (навч.)--Популярні видання

Кл.слова (ненормовані):
занимательная математика -- цікава математика -- задачи-головоломки -- задачі-головоломки -- логические прадоксы -- логічні парадокси -- логические курьезы -- логічні курйози -- занимательные задачи -- цікаві задачі
Анотація: Книга известного американского математика и логика профессора Р. Смаллиана построена на материале знаменитой "Алисы в Стране Чудес" Л. Кэррола и содержит около ста логических задач-головоломок, парадоксов и курьезов.

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

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

510.6
Г45

Гжегорчик, Анджей.
Популярная логика: общедоступный очерк логики предложений [] = Logika popularna: przystepny zarys logiki zdan / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд. стереотип. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 112 с. : рис. - Библиогр. в подстрочном примеч. - Лит. - с. 11-12. - 0.25 р.

УДК

510.6

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

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

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

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

510.6
К98

Кэрролл, Льюис.
Логическая игра [] = The game of logic / Л. Кэрролл ; пер. с англ. Ю. А. Данилова ; [редкол.: Ю. А. Осипьян (пред.) и др.]. - Москва : Наука, 1991. - 189, [3] с. : рис. - (Библиотечка "Квант" ; вып. 73). - Лит.: с. 188-190. - ISBN 5-02-014220-4 : 6.00 грн

УДК

510.6

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

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

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

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

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