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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

Андрушівська ЦРБ (1)

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

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

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

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

1-20 21-40 41-60 61-80 81-100 101-120

1Ф(С2)
Р 64

Розвиток філософії в Українській РСР [] / АН УРСР, Ін-т філософії ; ред. В. Ю. Євдокименко [та ін.]. - К. : Наук. думка, 1968. - 528 с. - 2.70 р.

УДК

1Ф(С2)

Рубрики: Філософія українська--Історія--Наукові видання

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

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

Дод.точки доступу:
Євдокименко, В. Ю. \ред.\; Василенко, В. О. \ред.\; Гаврилюк, П. І. \ред.\; Кримський, С. Б. \ред.\; Академія наук Української РСР; Інститут філософії
Примірників всього: 1
ФОНД (1)
Свободны: ФОНД (1)
Знайти схожі

51
Г20

Гарднер, Мартин.
Математические головоломки и развлечения [] = Mathematical Puzzles and Diversions / М. Гарднер ; пер. Ю. А. Данилова ; под ред. Я. А. Смородинского. - М. : Мир, 1971. - 511 с. : рис. - 1.41 р.

УДК

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

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

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

87.3(4НІМ)
Г27

   Гегель, Георг Вильгельм Фридрих
    Работы разных лет [Текст] : в 2 т. / Георг Вильгельм Фридрих Гегель ; [сост., общ. ред. А. В. Гулыги] ; Акад. наук СССР, Ин-т философии. - М. : Мысль, 1970 - 1871. - (Философское наследие).
   Т. 2. - 1971. - 630 с. - Примеч.: с. 565-604. - Указ. имен: с. 605-611. - Предм. указ.: с. 612-618. - Библиогр.: с. 619-623. - 2.19 р.

ББК 87.3(4НІМ)
Рубрики: Філософія німецька--Наукові видання
Кл.слова (ненормовані):
право -- разум -- розум -- логика -- логіка -- бытие -- буття -- дух -- письма -- листи
Анотація: Книга содержит "Философскую пропедевтику" - краткое, популярное изложение системы Гегеля, предназначенное для учащихся, избранные письма (переписка с Шеллингом, Гете и другими), а также "Афоризмы", относящиеся к иенскому и берлинскому периодам его жизни.

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

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

87.3(4НІМ)
Д24

Дворцов, Андрей Трофимович.
Гегель [] / А. Т. Дворцов ; [отв. ред. Б. С. Маньковский] ; Акад. наук СССР. - Москва : Наука, 1972. - 171 с. - (Научные биографии и мемуары ученых). - Лит.: с. 168-169. - Указ. имен: с. 170-172. - 0.56 р.

ББК 87.3(4НІМ)
Рубрики: Філософи німецькі--Біографії--Популярні видання
Кл.слова (ненормовані):
биографии -- біографії -- логика -- логіка -- філософія природи -- философия природы -- философия духа -- філософія духа
Анотація: Книга представляет собой краткий очерк жизни, деятельности и научного творчества великого немецкого философа Гегеля.

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

Дод.точки доступу:
Маньковский, Б. С. \ред.\; Гегель, Георг Вільгельм Фрідріх (філософ ; 1771-1831 рр.) \про нього\; Академия наук СССР
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

87.3(4НІМ)
Г27

   Гегель, Георг Вильгельм Фридрих
    Наука логики [Текст] : [в 3 т.] / Георг Вильгельм Фридрих Гегель ; [отв. ред. М. М. Розенталь ; редкол.: Э. В. Ильенков, М. М. Розенталь, Е. П. Ситковский] ; Акад. наук CCCР, Ин-т философии. - Москва : Мысль, 1970 - 1972. - (Философское наследие).
   Т. 3. - 1972. - 371 с. - Примеч.: с. 311-334. - Указ. имен: с. 335-336. - Предм. указ.: с. 337-368. - 1.53 р.

ББК 87.3(4НІМ)
Рубрики: Філософські вчення, 19 ст.--Наукові видання
Кл.слова (ненормовані):
обьективность -- об'єктивність -- идея -- ідея -- субъективная логика -- суб'єктивна логіка
Анотація: Третий том "Наука логики" содержит учение о понятии.

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

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

51(07)
Б79

Болтянский, Владимир Григорьевич.
Математика атакует родителей [] / В. Г. Болтянский, Г. Г. Левитас ; [ред. М. С. Шадрина]. - М. : Педагогика, 1973. - 152 с. : ил. - (Воспитание в семье). - 0.20 р.

УДК

51(07)

ББК 22.1я7
Рубрики: Математика--Алгебра--Геометрія--Логіка--Навчальні видання
Кл.слова (ненормовані):
программы по математике -- програми з математики -- теория множеств -- теорія множин -- логика -- логіка -- алгебра -- геометрия -- геометрія -- математика (для родителей учащихся младших классов) -- математика (для батьків учнів молодших класів)
Анотація: В книге в доступной и увлекательной форме рассказывается о причинах введения новых программ по математике, о новых направлениях в науке, об элементах теории множеств, элементах логики, о том новом, что появилось в алгебре и геометрии первых пяти лет обучения.

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

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

510.6
Н73

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

УДК

510.6

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

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

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

72.012
Ш 37

Шевелев, Иосиф Шефтелевич.
Логика архитектурной гармонии [] / И. Шевелев. - М. : Стройиздат, 1973. - 188 с. : рис. - (Творческая трибуна архитектора). - Библиогр.: с. 183-186. - 1.40 р.

УДК

72.012

ББК 85.11
Рубрики: Архітектура--Форми--Пропорції, 20 ст.--Наукові видання
Архітектурна форма--Пропорції, 20 ст.--Наукові видання
Кл.слова (ненормовані):
архитектура -- формы -- пропорции -- теория архитектуры -- теорія архітектури -- архитектурное творчество -- архітектурна творчість -- творчество в архитектуре -- творчість в архітектурі -- пропорция в архитектуре -- пропорція в архітектурі -- соразмерность -- співмірність -- теория пропорциональности -- теорія пропорційності -- пирамиды -- піраміди -- египетские пирамиды -- єгипетські піраміди -- античная пропорция -- антична пропорція -- формула пропорции -- формула пропорції -- формула античной пропорции -- формула античної пропорції -- Парфенон -- искусство архитектора -- мистецтво архітектора -- Эрехтейон -- Ерєхтейн -- колонны -- колони -- античные колонны -- античні колони -- Кариатиды -- Каріатиди -- портик Кариатид -- портик Каріатид -- древнерусские храмы -- давньоруські храми -- композиия древнерусского храма -- композиція давньоруського храму -- мера Древней Руси -- міра Стародавньої Русі -- древнерусская мера -- давньоруська міра -- сажень -- зодчие -- зодчі -- Великая Печерская церковь -- Велика Печерська церков -- Елецкая церковь -- Єлецька церков -- церковь Вознесения -- церков Вознесіння -- шатровая церковь -- шатрова церков -- зрительное восприятие сооружения -- зорове сприйняття споруди -- зрительный образ -- зоровий образ -- взаимопроникающие подобия -- взаємопроникні подібності -- золотое сечение -- золоте січення
Анотація: О теории архитектурных пропорций. Исследуется: построение формы с использованием парной меры, тектоника, ассоциативный образ постройки, геометрия взаимопроникающих подобий, отдельные вопросы зрительного восприятия.

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

Дод.точки доступу:
Платон (мислитель ; 427 до н. е. - 347 або 348 до н. е.)
Примірників всього: 1
МИСТ (1)
Свободны: МИСТ (1)
Знайти схожі

007:681.5
П62

Поспелов, Дмитрий Александрович.
Логические методы анализа и синтеза схем [] / Д. А. Поспелов. - 3-е изд., испр. и доп. - М. : Энергия, 1974. - 368 с. : рис., табл. - Лит.: с. 361-365. - 1.16 р.

УДК

007:681.5

ББК 32.812
Рубрики: Релейні схеми--Математична логіка--Практичні посібники

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

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

10.

007
О-75

Основы кибернетики [Текст] : учеб. пособие / под ред. К. А. Пупкова. - М. : Высш. шк., 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 0.88 р.

УДК

007

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

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

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

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

11.

792.028.3
З-33

Запорожец, Татьяна Ивановна.
Логика сценической речи [] : учеб. пособие для театр. и культ.-просвет. учеб. заведений / Т. И. Запорожец. - М. : Просвещение, 1974. - 128 с. : ил., рис. - Библиогр. в подстрочном примеч. - Библиогр.: с. 127. - 0.28 р.

УДК

792.028.3

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

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

12.

373.5.016:51
В58

Власенко, Олександр Іванович.
Методика викладання математики. Загальні питання [] : навч. посібник для студ. фізико-математ. факультетів пед. ін-тів / О. І. Власенко. - К. : Вища шк., 1974. - 208 с. : мал., табл. - Дод.: с. 198-199. - Л-ра: с. 200-204. - 0.40 р.

УДК

373.5.016:51

13.

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

14.

16(038.035)
К64

Кондаков, Николай Иванович.
Логический словарь-справочник [Текст] / Н. И. Кондаков ; [отв. ред. Д. П. Горский] ; Акад. наук СССР, Ин-т философии. - 2-е изд., испр. и доп. - Москва : Наука, 1975. - 720 с. - Указ. имен: с. 718-720. - 006.60 р.

УДК

16(038.035)

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

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

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

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

15.

681.51:004
Л36

Левин, Виталий Ильич.
Введение в динамическую теорию конечных автоматов [] / В. И. Левин ; Акад. наук Латв. ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1975. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-371. - 1.67 р.

УДК

681.51:004

ББК 32.815
Рубрики: Автоматів теорія--Наукові видання

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

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

Дод.точки доступу:
Академия наук Латвийской ССР Институт электроники и вычислительной техники
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

16.

51
Б59

Бизам, Дьердь.
Игра и логика. 85 логич. задач [] / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова ; [предисл. Ю. А. Данилова] = Jatek es logika. 85 feladatban / G. Bizam, J. Herczeg. - М. : Мир, 1975. - 358 с. : рис. ; 20 см. - (в пер.) : 1.15 р.

УДК

ББК 22.12 + 87.4
Рубрики: Математика--Логіка--Популярні видання
Кл.слова (ненормовані):
математическая логика -- математична логіка -- игра (логика) -- гра (логіка) -- логика (задачи) -- логіка (завдачі) -- занимательная математика -- цікава математика -- логические задачи -- логічні задачі
Анотація: Пользуясь элементарными средствами, авторы в увлекательной форме учат читателя умению последовательно мыслить и решать задачи, "думая, но не вычисляя".

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

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

17.

51
П47

Пойа, Джордж.
Математика и правдоподобные рассуждения [] / Д. Пойа ; пер. с англ. И. А. Вайнштейна ; под ред. С. А. Яновской = MATEMATICS AND PLAUSIBLE REASONING / Poiya By G. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1975. - 464 с. : рис. - Библиогр.: с. 463. - 1.71 р.

УДК

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

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

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

18.

51(03)
М18

Малая математическая энциклопедия [] / Э. Фрид и др. ; [пер. с венг. Я. Кочиш, М. Соколов ; ред. пер. Ю. Н. Благовещенский, Б. Кочиш] = Matematikai kisenciklopedia / Fried E. es masok. - Будапешт : Изд-во АН Венгрии, 1976. - 696 с. : рис. - Прил.: с. 667-693. - ISBN 963-05-0844-3 : 3.60 р.

УДК

51(03)

ББК 22.1я2
Рубрики: Математика--Енциклопедії--Довідкові видання
Кл.слова (ненормовані):
алгебра -- теория чисел -- теорія чисел -- геометрия -- геометрія -- математический анализ -- математичний аналіз -- теория множеств -- теорія множин -- теория вероятности -- теорія ймовірності -- математическая статистика -- математична статистика -- математическая логика -- математична логіка -- математические энциклопедии -- математичні енциклопедії -- энциклопедии (математика) -- енциклопедії (математика)
Анотація: Малая математическая энциклопедия охватывает такие важнейшие разделы математики как алгебра, теория чисел, геометрия, математический анализ, теория множеств, теория вероятности, математическая логика.

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

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

19.

101
С28

   Секст Эмпирик
    Сочинения в двух томах [Текст] / Секст Эмпирик ; [общ. ред., вступ. ст., пер. с древнегр. А. Ф. Лосева] ; Акад. наук СССР, Ин-т философии. - М. : Мысль, 1976. - (Философское наследие).
   Т. 2. - 1976. - 421 с. - Библиогр.: с. 381-420. - 1.60 р.

УДК

101

ББК 87.3(0)3
Рубрики: Філософія--Наукові видання
Кл.слова (ненормовані):
філософські праці -- философские произведения -- античная логика -- антична логіка
Анотація: Второй том собрания сочинений Секста Эмпирика содержит семь книг из большого трактата "Против ученых" и "Три книги Пирроновых положений". Оба произведения посвящены изложению принципов скептического поведения и критическому рассмотрению основных вопросов античной логики.

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

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

20.

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

1-20 21-40 41-60 61-80 81-100 101-120

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