С 32 Середа, Володимир Юрійович. Вчись мислити логічно [] : для старш. шк. віку / В. Ю. Середа. - К. : Рад. шк., 1989. - 175 : рис., табл. - Л-ра: с. 173. - ISBN 5-330-00745-3 : 0.35 р.
Рубрики: Математична логіка--Навчальні видання для середньої школи фывфывфыв: мислення -- мышление -- логічна помилка -- логическая ошибка -- поняття -- понятие -- судження -- суждение -- складні судження -- сложные суждения -- логічне мислення -- логическое мышление -- умовиводи -- умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- математичні теореми -- математические теоремы -- математична індукція -- математическая индукция -- доведення -- доказательства -- спростування -- опровержение -- аналогія -- аналогия Аннотация: Розкриваються основні формально-логічні закони побудови правильних суджень і умовиводів. За допомогою цих законів, а також елементів математичної логіки аналізуються причини появи типових помилок під час роз'язування різноманітних задач шкільного курсу математики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 1 ФОНД (1) Свободны: ФОНД (1) |
Ш37 Шевченко, Владимир Егорович. Некоторые способы решения логических задач [] : пособие / В. Е. Шевченко ; [редкол.: А. В. Скороход и др.]. - К. : Вища шк., 1979. - 80 с. - (Библиотечка физико-математической школы : математика). - Лит.: с. 78. - 0.15 р.
Рубрики: Математична логіка--Логічні задачі--Навчальні видання фывфывфыв: решения логических задач -- рішення логічних задач -- здравое рассуждление -- здорове міркування -- логика -- логіка Аннотация: В книге в научно-популярной форме изложены основные способы решения логических задач. Пособие содержит свыше ста задач для самостоятельного решения. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Скороход, А. В. \ред.\; Калужнин, Л. А. \ред.\; Кованцов, Н. И. \ред.\; Коба, В. И. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання фывфывфыв: тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Аннотация: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
С50 Смаллиан, Рэймонд М.. Алиса в стране Смекалки [] = Alice in Puzzle-Land : пер. с англ. / Рэймонд М. Смаллиан ; рис. Г. Фиттинга ; пер. с англ. Ю. А. Данилова. - М. : Мир, 1987. - 182 с. : рис., табл. - 0.50 р.
Рубрики: Математична логіка--Задачі (навч.)--Популярні видання фывфывфыв: занимательная математика -- цікава математика -- задачи-головоломки -- задачі-головоломки -- логические прадоксы -- логічні парадокси -- логические курьезы -- логічні курйози -- занимательные задачи -- цікаві задачі Аннотация: Книга известного американского математика и логика профессора Р. Смаллиана построена на материале знаменитой "Алисы в Стране Чудес" Л. Кэррола и содержит около ста логических задач-головоломок, парадоксов и курьезов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Фиттинг, Г. \худож.\; Данилов, Ю. А. \пер.\ Экземпляры всего: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Г45 Гжегорчик, Анджей. Популярная логика: общедоступный очерк логики предложений [] = Logika popularna: przystepny zarys logiki zdan / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд. стереотип. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 112 с. : рис. - Библиогр. в подстрочном примеч. - Лит. - с. 11-12. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: логика -- логіка -- умовивід -- умозаключение -- логічні вирази -- логические выражения -- закони логіки -- законы логики -- перевірка логічних формул -- проверка логических формул -- упражнения -- вправи -- логіка речень -- логика предложений -- логічні союзи -- логические союзы -- правило відокремлення -- правило отделения Аннотация: Излагаются основные понятия, законы и принципы логики, наведены примеры и методы проверки логических формул. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Беляев, С. П. \пер.\ Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
К98 Кэрролл, Льюис. Логическая игра [] = The game of logic / Л. Кэрролл ; пер. с англ. Ю. А. Данилова ; [редкол.: Ю. А. Осипьян (пред.) и др.]. - Москва : Наука, 1991. - 189, [3] с. : рис. - (Библиотечка "Квант" ; вып. 73). - Лит.: с. 188-190. - ISBN 5-02-014220-4 : 6.00 грн
Рубрики: Математична логіка--Науково-популярні видання фывфывфыв: силлогизмы -- силогізми -- суждения -- судження -- логические задачи -- логічні задачі -- логічні ігри -- логические игры -- головоломки -- фокусы -- фокуси Аннотация: Сборник логических задач автора "Алисы в Стране Чудес" Льюиса Кэрролла. Он в занимательной игровой форме знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Данилов, Ю. А. \пер.\; Осипьян, Ю. А. \ред.\; Буздин, А. И. \ред.\; Абрикосов А. А. \ред.\; Боровик-Романов, А. С. \ред.\ Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |