С 50 Смирнова, Елена Дмитриевна. Основы логической семантики [] : учеб. пособие для студ. филос. ф-тов вузов / Е. Д. Смирнова. - М. : Высшая школа, 1990. - 144 с. - Лит.: с. 140-142. - ISBN 5-06-001495-9 : 0.35 р.
Рубрики: Логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): знакові системи -- знаковые системы -- штучні і при родні мови -- искусственные и естественные языки -- логічна семантика -- логичная семантика -- формальна арифметика -- формальная арифметика -- формалізація логіки предикатів -- формализация логики предикатов -- елементи теорії моделей -- элементы теории моделей -- семантика можливих світів -- семантика возможных миров -- модальність в логіці -- модальность в логике -- проблеми змісту і значення -- проблемы содержания и значения -- аналіз інтексіональних контекстів -- анализ интексиональных контестов Анотація: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |