Поисковый запрос: (<.>KL=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 260
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 16/С 89
Автор(ы) : Субботин А. Л.
Заглавие : Традиционная и современная формальная логика
: научное издание
Выходные данные : М.: Изд-во "Наука", 1969
Колич.характеристики :160 с.:
ил.; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 157-159
Цена : 0.49 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): формальная логика--аристотелевская силлогистика--математическая логика--эквиполлентные системы аксиом--частичные системы силлогистики
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 16/С 89
Автор(ы) : Субботин А. Л.
Заглавие : Теория силлогистики в современной формальной логике
: научное издание
Выходные данные : М.: Изд-во "Наука", 1965
Колич.характеристики :126 с.
; 20 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 122-123 (35 назв.)
Цена : 0.31 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): силлогистика--аристотелевская силлогистика--математическая логика--формальная силлогистика--алгебраическая теория силлогистика--полуструктура
Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 16/П 78
Заглавие : Проблемы логики
: сб. статей
Выходные данные : М.: Изд-во Акад. наук СССР, 1963
Колич.характеристики :151 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр. в конце ст.
Цена : 0.44 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--импликация аккермана--метод спецреферирования--силлогистика--общая теория дедукции--логические схемы алгоритмов
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 16/А 47
Автор(ы) : Алексеев М. Н.
Заглавие : Актуальные проблемы логической науки
: научное издание
Выходные данные : М.: Изд-во Моск. ун-та, 1964
Колич.характеристики :94 с.
; 20 см
Коллективы :
Гос. ун-т им. Ломоносова, Филос. фак., Каф. Логики (Москва)
Цена : 0.30 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): формальная логика--математическая логика--диалектическая логика--преподавание логики--логические кадры
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 16(83)/К 64
Автор(ы) : Кондаков Н. И.
Заглавие : Логический словарь-справочник
: словарь
. -2-е изд., испр. и доп.
Выходные данные : М.: Изд-во "Наука", 1975
Колич.характеристики :720 с.:
ил.; 26 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 697-717
Цена : 6.60 р.
ГРНТИ : 02.21.01.33
УДК : 16(83)
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): термины логики--категории логики--методы логики--применение логики--логические правила--традиционная логика--математическая логика
Аннотация: Словарь содержит более трех тысяч статей, в которых на уровне достижения современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении их в повседневной практике мышления, в процессе самообразования и учебных занятий, в спорах и дискуссиях, в научно-исследовательской деятельности, в электронно-вычислительной технике.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 16/С 88
Автор(ы) : Стяжкин Н. И.
Заглавие : Формирование математической логики
: научное издание
Выходные данные : М.: Изд-во "Наука", 1967
Колич.характеристики :508 с.
; 22 см
Коллективы :
Акад. наук СССР (Москва)
Примечания : Библиогр.: с. 454-505 (773 назв.)
Цена : 2.28 р.
УДК : 16:510.6
Ключевые слова (''Своб.индексиров.''): логическая проблематика--математическая логика--античные логические учения--средневековая логика--теория логического следования--теория семантических парадоксов--методологические принципы--принципы лейбница г.в.--символическая логика
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 16/Ч-73
Автор(ы) : Чкнаверянц А. А.
Заглавие : Закон тождества
: историко-логический очерк
Выходные данные : М.: Гос. изд-во "Высшая школа", 1961
Колич.характеристики :1000 с.
; 21 см
Цена : 0.14 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): формально-логические законы--закон тождества--метафизика--идеализм--концепции закона тождества--математическая логика
Аннотация: Данная работа представляет собой попытку раскрыть истинную сущность закона тождества как закона познающей мысли в свете теории познания диалектического материализма.
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 16/Ч-92
Автор(ы) : Чупахин И. Я.
Заглавие : Вопросы теории понятия
: научное издание
Выходные данные : Л.: Изд-во Ленингр. ун-та, 1961
Колич.характеристики :139 с.:
ил.; 21 см
Коллективы :
Ленинградский гос. ун-т
Цена : 0.56 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): теория понятия--математическая логика--структура суждения--отрицательные понятия--формальная логика--объем понятий
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 621-52/З-56
Автор(ы) : Зенченко В. П., Крейнин Г. В.
Заглавие : Воздух управляет автоматами (пневматические системы машин-автоматов)
: научное издание
Выходные данные : М.: Изд-во "Академия наук СССР", 1963
Колич.характеристики :109 с.:
ил.; 21 см
Коллективы :
Акад. наук СССР
Серия: Научно-популярная серия
Цена : 0.16 р.
УДК : 621-52
Ключевые слова (''Своб.индексиров.''): пневматические приводы--логические машины--математическая логика--логические операции--гидроцилиндры
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 51/С 34
Автор(ы) : Сигорский В. П.
Заглавие : Математический аппарат инженера
: научное издание
Выходные данные : Киев: Технiка, 1975
Колич.характеристики :768 с.:
ил., табл.; 20 см
Примечания : Библиогр. в конце ст.
Цена : 2.77 р.
ГРНТИ : 27.41
УДК : 51
Предметные рубрики: МАТЕМАТИКА-- ПРИКЛАДНАЯ МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): множества--матрицы--графы--математическая логика--случайные величины
Аннотация: Излагаются: множества, матрицы, графы, логика, вероятности. Теоретический материал иллюстрируется примерами из различных отраслей техники.
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 519(075)/К 90
Автор(ы) : Куликов В. В.
Заглавие : Дискретная математика
: учеб. пособие
Выходные данные : М.: РИОР, 2012
Колич.характеристики :174 с.:
ил.; 22 см
Серия: Высшее образование
Примечания : Библиогр.: с. 171 (8 назв.). - Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"
ISBN, Цена 978-5-369-00205-6: 187.10 р.
ГРНТИ : 27.41.41.01.33
УДК : 519.1(075.8)
ББК : 22.176
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--логическое следование--теория множеств--теория алгоритмов--теория графов--комбинаторика--конечные автоматы--алгоритмы
Аннотация: В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов.
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 62-50/Т 33
Автор(ы) : Витенько И. В., Чеботарев А. Н., Рысцов И. К., Дегтярев А. И.
Заглавие : Теория автоматов, алгоритмов и математическая логика
: сборник
Выходные данные : Киев: ИК АН УССР, 1974
Колич.характеристики :98 с.:
ил.; 21 см
Коллективы :
Ин-т кибернетики (Киев), Акад. наук Укр. ССР (Киев)
Примечания : Библиогр.: с. 97
Цена : 0.29 р.
ГРНТИ : 50.03
УДК : 62-50
Предметные рубрики: Автоматика
Ключевые слова (''Своб.индексиров.''): математическая логика--комбинационные схемы--управляющие программы--внешняя память системы--описание языка--конечные автоматы
Аннотация: В сборнике рассказывается о теории автоматов, алгоритмов и математической логике, о вычислимости свойств бесконечных последовательностей и о приведении алгоритма к правильному виду.
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 16/С 81
Автор(ы) : Столяр А. А.
Заглавие : Элементарное введение в математическую логику
: научное издание
Выходные данные : М.: Изд-во "Просвещение", 1965
Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 162
Цена : 0.22 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--логика предикатов--множества--традиционная логика--кванторы--эквивалентные формулы
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика?
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :152 с.:
ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
|
15.
|
Вид документа : Многотомное издание
Шифр издания : 512/М 21
Автор(ы) : Мальцев А. И.
Заглавие : Избранные труды/ А. И. Мальцев. Т. 2: Математическая логика и общая теория алгебраических систем
Выходные данные : М.: Наука, 1976
Колич.характеристики :388 с.
; 24 см
Серия:
Примечания : Библиогр. в конце ст.
Цена : 2.42 р.
ГРНТИ : 27.17
УДК : 512
Предметные рубрики: Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебраические системы--многообразие поста--теория классов--теорема слупецкого--теорема яблонского
Аннотация: Во второй том избранных трудов А. И. Мальцева вошли работы по математической логике и теории алгебраических систем.
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 3К13/М 27
Автор(ы) : Маркс К.
Заглавие : Математические рукописи
: научное издание
Выходные данные : М.: Наука, 1968
Колич.характеристики :639 с.:
ил.; 24 см
Коллективы :
Ин-т марксизма-ленинизма при ЦК КПСС (Москва)
Примечания : Указ.: с. 630-636
Цена : 1.17 р.
ГРНТИ : 02.91.15
УДК : 3К13+51
Предметные рубрики: Философия-- История марксизма-ленинизма
Ключевые слова (''Своб.индексиров.''): рукописи--дифференциальное исчисление--диалектический материализм--символические исчисления--математическая логика
Аннотация: "Математические рукописи" К. Маркса посвящены в основном выяснению сущности дифференциального исчисления. Предложенное Марксом объяснение смысла основных понятий и методов дифференциального исчисления позволяет и в настоящее время с позиций диалектического материализма разобраться в сущности символических исчислений математики и математической логики.
Найти похожие
|
17.
|
Вид документа : Многотомное издание
Шифр издания : 51(09)/И 90
Автор(ы) :
Заглавие : История отечественной математики: в 4 т./ Ин-т истории естествознания и техники (Киев); отв. ред. И. З. Штокало. Т. 4
Выходные данные : Киев: Наукова думка, 1970
Колич.характеристики :667 с.:
ил.; 25 см
Коллективы : Ин-т истории естествознания и техники, Акад. наук Укр. ССР, Акад. наук СССР
Примечания : Библиогр.: с. 499-551
Цена : 3.83 р.
ГРНТИ : 27.01.09
УДК : 51(09)
Предметные рубрики: Математика-- История математики
Ключевые слова (''Своб.индексиров.''): теория вероятностей--математическая статистика--численные методы--приближенные методы--теоретическая физика--вычислительная математика--кибернетика--математическая логика--история математики
Аннотация: Четвертый том "Истории отечественной математики" состоит из двух книг, в которых, как и в третьем томе, освещается развитие математики в нашей стране за годы Советской власти. Вторая книга - по теории вероятностей и математической статистике, приближенным методам, математическим методам в механике и теоретической физике, вычислительной математике и кибернетике, математической логике и основаниям математики, истории математики.
Найти похожие
|
18.
|
Вид документа : Многотомное издание
Шифр издания : 51(09)/М 34
Автор(ы) :
Заглавие : Математика в СССР за сорок лет: в 2 т. : 1917-1957 / гл. ред. А. Г. Курош ; под ред. В. И. Битюцкова [и др.]. Т. 1: Обзорные статьи
Выходные данные : М.: Гос. изд-во физ.-мат. лит., 1959
Колич.характеристики :1002 с.
; 26 см
Примечания : Алф. указ.: с. 987-1002
Цена : 43.80 р.
ГРНТИ : 27.01.09
УДК : 51(09)
Предметные рубрики: Математика-- История математики
Ключевые слова (''Своб.индексиров.''): математическая логика--теория чисел--общая алгебра--теория полей--теория многочленов--дифференциальные уравнения--вариационные исчисления--линейные интегральные уравнения--функциональный анализ--теория вероятностей--математическая статистика
Аннотация: Настоящий сборник выходит в двух томах. Первый из них посвящен обзорам работ советских ученых в различных разделах математики за 1947-1957 гг.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 4/О-11
Автор(ы) : Ахманова О. С., Мельчук И. А., Падучева Е. В., Фрумкина Р. М.
Заглавие : О точных методах исследования языка
: о так называемой "математической лингвистике"
Выходные данные : М.: Изд-во Моск. ун-та, 1961
Колич.характеристики :162 с.:
ил.; 21 см
Примечания : Библиогр.: с. 150-160
Цена : 0.60 р.
ГРНТИ : 16.21
УДК : 4
Предметные рубрики: Языкознание-- Лингвистика
Ключевые слова (''Своб.индексиров.''): языковедение--машинный перевод--статистические методы--теория информации--математическая логика
Аннотация: Предлагаемая книга представляет собой попытку осветить некоторые результаты, достигнутые наукой в области применения точных методов к исследованию языка. Понятие точных методов в науке и, далее точных наук неразрывно связано с математикой : отсюда возникло выражение "математическая лингвистика" для обозначения этого нового направления в исследовании языка.
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 51/М 43
Заглавие : Международный математический конгресс в Эдинбурге 1958 г.
: обзор. доклады : пер. с англ., фр. и нем.
Выходные данные : М.: Гос. изд-во физико-мат. лит., 1962
Колич.характеристики :276 с.:
ил.; 20 см
Коллективы :
Междунар. мат. конгресс (14-21 августа, 1958 г.; Эдинбург)
Серия: Современные проблемы математики
Примечания : Библиогр. в конце ст.
Цена : 0.92 р.
УДК : 51
Ключевые слова (''Своб.индексиров.''): теория поверхностей--конгресс--квантовая теория поля--комплексные переменные--алгебраические группы--теория вероятностей--комплексные многообразия--математическая логика--вариационные методы--линеаризация--делинеаризация--статистическая физика
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)