Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 260
Показаны документы с 1 по 20 |
|
>1.
|
Вид документа : Многотомное издание Шифр издания : 179668 51.01(075)/Г 39
Автор(ы) : Герн, Б.
Заглавие : Новое изложение логики, основанное на элементарных курсах математики и физики/ Б. Герн. - Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики. Ч. 1: Логика дедуктивная. Логика математики
Выходные данные : Москва: Тип. Г. Лисснера и А. Гешеля, 1902 Колич.характеристики :76 с
Разночтения заглавия :Загл. в старой орфографии : Новое изложенiе логики, основанное на элементарныхъ курсахъ математики и физики;
Примечания : Прил. къ циркулярамъ по Моск. учеб. округу, изд. подъ ред. Вл. Исаенкова
ISBN (в пер.), Цена [Б. и.]: 26.00 р.
УДК : 510.6(075.3) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--геометрия--арифметика
Найти похожие
|
>2.
|
Вид документа : Однотомное издание Шифр издания : 22.12
Автор(ы) : Ляпунов, Александр Михайлович
Заглавие : Избранные труды
Выходные данные : Москва: Издательство Академии наук СССР, 1948 Колич.характеристики :540 с
Серия: Классики науки
Цена : 3.20 р.
ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): задача дирихле--математическая логика--предел вероятности--свойства движения--теоремы--теория вероятностей--устойчивость движения--форма небесных тел
Найти похожие
|
>3.
|
Вид документа : Однотомное издание Шифр издания : 22.1
Заглавие : Математика в СССР за тридцать лет, (1917-1947)
: сборник статей
Выходные данные : Москва; Ленинград: ОГИЗ, 1948 Колич.характеристики :1044 с
Примечания : Библиогр. в конце глав. - Именной указ.: с. 1035-1044
Цена : 5.40 р.
ББК : 22.1 Предметные рубрики: Математика-- История математики, 1917-1947 гг. Географич. рубрики: СССР Ключевые слова (''Своб.индексиров.''): алгебра--геометрия--графические методы--дифференциальные уравнения--история математики--латвийские математики--математическая логика--математическая статистика--теория вероятностей--теория множеств--теория функций--теория чисел--топология--функциональный анализ--численные методы--эстонские математики Содержание : Основания математики и математическая логика/ С. А. Яновская. Теория чисел/ А. О. Гельфонд. Алгебра I (алгебра полиномов и полей)/ Н. Г. Чеботарев. Алгебра II (группы, кольца и структуры)/ А. Г. Курош. Топологическая алгебра и группы Ли/ А. И. Мальцев. Топология/ А. А. Марков. Дескриптивная теория множеств/ А. А. Ляпунов, П. С. Новиков. Метрическая теория функций действительного переменного/ Н. К. Бари [и др.]. Приближение многочленами функций действительного переменного/ С. М. Никольский. Теория функций комплексного переменного/ А. Ф. Бермант, А. И. Маркушевич. Обыкновенные дифференциальные уравнения/ В. В. Немыцкий, В. В. Степанов. Дифференциальные уравнения в частных производных/ С. Л. Соболев. Вариационное исчисление/ В. В. Степанов, Л. Э. Эльсгольц. Интегральные уравнения/ В. И. Смирнов. Функциональный анализ/ М. Г. Клейн, Л. А. Люстерник. Теория вероятностей/ Б. В. Гнеденко, А. Н. Колмогоров. Математическая статистика/ Н. В. Смирнов. Приближённые методы/ Л. В. Канторович, В. И. Крылов. Вспомогательные средства вычислений/ К. А. Семендяев. Номография/ С. В. Бахвалов. Дифференциальная геометрия трёхмерного пространства/ С. П. Фиников. Тензорная дифференциальная геометрия/ П. К. Рашевский. Геометрия "в целом"/ А. Д. Александров. Синтетическая геометрия/ С. С. Бюшгенс, А. А. Глаголев. История математики/ А. П. Юшкевич. Работы латвийских математиков за тридцать лет/ А. Я. Лусис. Работы эстонских математиков за тридцать лет/ А. К. Хумал.
Найти похожие
|
>4.
|
Вид документа : Многотомное издание Шифр издания : 51(09)/М 34
Автор(ы) :
Заглавие : Математика в СССР за сорок лет: в 2 т. : 1917-1957 / гл. ред. А. Г. Курош ; под ред. В. И. Битюцкова [и др.]. Т. 1: Обзорные статьи
Выходные данные : М.: Гос. изд-во физ.-мат. лит., 1959 Колич.характеристики :1002 с.
; 26 см
Примечания : Алф. указ.: с. 987-1002
Цена : 43.80 р.
ГРНТИ : 27.01.09 УДК : 51(09) Предметные рубрики: Математика-- История математики Ключевые слова (''Своб.индексиров.''): математическая логика--теория чисел--общая алгебра--теория полей--теория многочленов--дифференциальные уравнения--вариационные исчисления--линейные интегральные уравнения--функциональный анализ--теория вероятностей--математическая статистика Аннотация: Настоящий сборник выходит в двух томах. Первый из них посвящен обзорам работ советских ученых в различных разделах математики за 1947-1957 гг.
Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 4/О-11
Автор(ы) : Ахманова О. С., Мельчук И. А., Падучева Е. В., Фрумкина Р. М.
Заглавие : О точных методах исследования языка
: о так называемой "математической лингвистике"
Выходные данные : М.: Изд-во Моск. ун-та, 1961 Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 150-160
Цена : 0.60 р.
ГРНТИ : 16.21 УДК : 4 Предметные рубрики: Языкознание-- Лингвистика Ключевые слова (''Своб.индексиров.''): языковедение--машинный перевод--статистические методы--теория информации--математическая логика Аннотация: Предлагаемая книга представляет собой попытку осветить некоторые результаты, достигнутые наукой в области применения точных методов к исследованию языка. Понятие точных методов в науке и, далее точных наук неразрывно связано с математикой : отсюда возникло выражение "математическая лингвистика" для обозначения этого нового направления в исследовании языка.
Найти похожие
|
>6.
|
Вид документа : Однотомное издание Шифр издания : 16/Ч-92
Автор(ы) : Чупахин И. Я.
Заглавие : Вопросы теории понятия
: научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1961 Колич.характеристики :139 с.:
ил.; 21 см
Коллективы :
Ленинградский гос. ун-т
Цена : 0.56 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): теория понятия--математическая логика--структура суждения--отрицательные понятия--формальная логика--объем понятий
Найти похожие
|
>7.
|
Вид документа : Однотомное издание Шифр издания : 16/Ч-73
Автор(ы) : Чкнаверянц А. А.
Заглавие : Закон тождества
: историко-логический очерк
Выходные данные : М.: Гос. изд-во "Высшая школа", 1961 Колич.характеристики :1000 с.
; 21 см
Цена : 0.14 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): формально-логические законы--закон тождества--метафизика--идеализм--концепции закона тождества--математическая логика Аннотация: Данная работа представляет собой попытку раскрыть истинную сущность закона тождества как закона познающей мысли в свете теории познания диалектического материализма.
Найти похожие
|
>8.
|
Вид документа : Однотомное издание Шифр издания : 87.4
Автор(ы) : Стяжкин Н. И., Силаков В. Д.
Заглавие : Краткий очерк истории общей и математической логики в России
Выходные данные : Москва: Высшая школа, 1962 Колич.характеристики :86 с
Примечания : Библиогр.: с. 80
Цена : 0.15 р.
ББК : 87.4 Предметные рубрики: Логика-- Общие вопросы логики, 14 век; 15 век; 16 век; 17 век; 18 век; 19 век; 20 век Географич. рубрики: Россия Ключевые слова (''Своб.индексиров.''): история логики--история математической логики--логические идеи--математическая логика
Найти похожие
|
>9.
|
Вид документа : Однотомное издание Шифр издания : 51/М 43
Заглавие : Международный математический конгресс в Эдинбурге 1958 г.
: обзор. доклады : пер. с англ., фр. и нем.
Выходные данные : М.: Гос. изд-во физико-мат. лит., 1962 Колич.характеристики :276 с.:
ил.; 20 см
Коллективы :
Междунар. мат. конгресс (14-21 августа, 1958 г.; Эдинбург) Серия: Современные проблемы математики
Примечания : Библиогр. в конце ст.
Цена : 0.92 р.
УДК : 51 Ключевые слова (''Своб.индексиров.''): теория поверхностей--конгресс--квантовая теория поля--комплексные переменные--алгебраические группы--теория вероятностей--комплексные многообразия--математическая логика--вариационные методы--линеаризация--делинеаризация--статистическая физика
Найти похожие
|
>10.
|
Вид документа : Однотомное издание Шифр издания : 16/П 78
Заглавие : Проблемы логики
: сб. статей
Выходные данные : М.: Изд-во Акад. наук СССР, 1963 Колич.характеристики :151 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр. в конце ст.
Цена : 0.44 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--импликация аккермана--метод спецреферирования--силлогистика--общая теория дедукции--логические схемы алгоритмов
Найти похожие
|
>11.
|
Вид документа : Однотомное издание Шифр издания : 621-52/З-56
Автор(ы) : Зенченко В. П., Крейнин Г. В.
Заглавие : Воздух управляет автоматами (пневматические системы машин-автоматов)
: научное издание
Выходные данные : М.: Изд-во "Академия наук СССР", 1963 Колич.характеристики :109 с.:
ил.; 21 см
Коллективы :
Акад. наук СССР Серия: Научно-популярная серия
Цена : 0.16 р.
УДК : 621-52 Ключевые слова (''Своб.индексиров.''): пневматические приводы--логические машины--математическая логика--логические операции--гидроцилиндры
Найти похожие
|
>12.
|
Вид документа : Однотомное издание Шифр издания : 16/А 47
Автор(ы) : Алексеев М. Н.
Заглавие : Актуальные проблемы логической науки
: научное издание
Выходные данные : М.: Изд-во Моск. ун-та, 1964 Колич.характеристики :94 с.
; 20 см
Коллективы :
Гос. ун-т им. Ломоносова, Филос. фак., Каф. Логики (Москва)
Цена : 0.30 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): формальная логика--математическая логика--диалектическая логика--преподавание логики--логические кадры
Найти похожие
|
>13.
|
Вид документа : Однотомное издание Шифр издания : 51/С 88
Автор(ы) : Стяжкин Н. И.
Заглавие : Становление идей математической логики
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964 Колич.характеристики :304 с.:
ил.; 20 см
Коллективы :
Акад. наук СССР (Москва), Ин-т философии (Москва)
Примечания : Библиогр.: с. 277-298 (460 назв.)
Цена : 0.95 р.
УДК : 510.6 Ключевые слова (''Своб.индексиров.''): математическая логика--логическое следование--символическая логика--логистика--алгебро-логическая проблематика
Найти похожие
|
>14.
|
Вид документа : Однотомное издание Шифр издания : 517/Д 92
Автор(ы) : Дьедонне Ж.
Заглавие : Основы современного анализа
: научное издание
Параллельн. заглавия :Foundations of modern analysis/ J. Dieudonne Выходные данные : М.: Изд-во "Мир", 1964 Колич.характеристики :430 с.
; 22 см
Примечания : Библиогр.: с. 415-416 (26 назв.). - Тит. л. парал. на англ. яз.
Цена : 2.06 р.
ГРНТИ : 27.23 УДК : 517 Предметные рубрики: Математика-- Анализ Ключевые слова (''Своб.индексиров.''): математическая логика--линейная алгебра--математический анализ--векторное пространство--интеграл лебега--теория функций--комплексные переменные
Найти похожие
|
>15.
|
Вид документа : Однотомное издание Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика?
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964 Колич.характеристики :152 с.:
ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
|
>16.
|
Вид документа : Однотомное издание Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику
: научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965 Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
|
>17.
|
Вид документа : Однотомное издание Шифр издания : 51/С 49
Автор(ы) : Слупецкий Е., Борковский Л.
Заглавие : Элементы математической логики и теории множеств
: научное издание
Выходные данные : М.: Прогресс, 1965 Колич.характеристики :386 с.
; 21 см
Примечания :
Цена : 1.23 р.
ГРНТИ : 27.03 УДК : 510.6 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--логика--теоретическая логика--символическая логика--математика
Найти похожие
|
>18.
|
Вид документа : Однотомное издание Шифр издания : 62/П 27
Автор(ы) : Перекрестов А.В.
Заглавие : Построение релейных схем гидроавтоматики
Выходные данные : М.; Л.: Энергия, 1965 Колич.характеристики :73 с.:
черт.; 20 см
Серия: Б-ка по автоматике. Вып. 126
Примечания : Библиогр. в конце ст.72 (23 назв.)
Цена : 0.26 р.
ГРНТИ : 50.09 УДК : 621-52 Предметные рубрики: Автоматика-- Устройства автоматики Ключевые слова (''Своб.индексиров.''): гидравлические системы--проектирование гидросистем--гидравлические цепи--гидроприводы--математическая логика--электрические схемы Аннотация: В книге рассматриваются способы построения системы релейных гидравлических участков по заданным условиям работы, их подключение в цепь реверсивных и нереверсивных гидрадвигателей, построение гидравлических схем релейного действия, а также построение смешанных гидравлических и электрических схем релейного действия.
Найти похожие
|
>19.
|
Вид документа : Однотомное издание Шифр издания : 16/С 89
Автор(ы) : Субботин А. Л.
Заглавие : Теория силлогистики в современной формальной логике
: научное издание
Выходные данные : М.: Изд-во "Наука", 1965 Колич.характеристики :126 с.
; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 122-123 (35 назв.)
Цена : 0.31 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): силлогистика--аристотелевская силлогистика--математическая логика--формальная силлогистика--алгебраическая теория силлогистика--полуструктура Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Найти похожие
|
>20.
|
Вид документа : Однотомное издание Шифр издания : 16/К 62
Автор(ы) : Кольман Э., Зих О.
Заглавие : Занимательная логика
: научно-популярная литература
Выходные данные : М.: Изд-во "Наука", 1966 Колич.характеристики :127 с.:
ил.; 19 см
Серия: Научно-популярная серия
Цена : 0.20 р.
УДК : 16 Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика классов--символическая логика--логические уравнения--элементы арифметики
Найти похожие
|
|
|