| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :260
 В других БД по вашему запросу найдено:Электронный каталог (125)ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 260
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

    Субботин, А. Л.
    Традиционная и современная формальная логика [Текст] : научное издание / А. Л. Субботин ; Ин-т философии (Москва). - М. : Изд-во "Наука", 1969. - 160 с. : ил. ; 20 см. - Библиогр.: с. 157-159 . - 0.49 р.
УДК

Кл.слова (ненормированные):
ФОРМАЛЬНАЯ ЛОГИКА -- АРИСТОТЕЛЕВСКАЯ СИЛЛОГИСТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭКВИПОЛЛЕНТНЫЕ СИСТЕМЫ АКСИОМ -- ЧАСТИЧНЫЕ СИСТЕМЫ СИЛЛОГИСТИКИ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

2.

    Субботин, А. Л.
    Теория силлогистики в современной формальной логике [Текст] : научное издание / А. Л. Субботин ; отв. ред. П. В. Таванец ; Ин-т философии (Москва). - М. : Изд-во "Наука", 1965. - 126 с. ; 20 см. - Библиогр.: с. 122-123 (35 назв.). - 0.31 р.
УДК

Кл.слова (ненормированные):
СИЛЛОГИСТИКА -- АРИСТОТЕЛЕВСКАЯ СИЛЛОГИСТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФОРМАЛЬНАЯ СИЛЛОГИСТИКА -- АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ СИЛЛОГИСТИКА -- ПОЛУСТРУКТУРА
Аннотация: В этой работе дано наиболее адекватное оригинальному аристотелевскому замыслу формально-аксиоматическое изложение силлогистики с точки зрения и на базе современной символической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Таванец, П. В.
Найти похожие

3.

   
    Проблемы логики [Текст] : сб. статей / Ин-т философии (Москва) ; отв. ред. П. В. Таванец. - М. : Изд-во Акад. наук СССР, 1963. - 151 с. : ил. ; 21 см. - Библиогр. в конце ст. - 0.44 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИМПЛИКАЦИЯ АККЕРМАНА -- МЕТОД СПЕЦРЕФЕРИРОВАНИЯ -- СИЛЛОГИСТИКА -- ОБЩАЯ ТЕОРИЯ ДЕДУКЦИИ -- ЛОГИЧЕСКИЕ СХЕМЫ АЛГОРИТМОВ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Таванец, П. В.
Найти похожие

4.

    Алексеев, М. Н.
    Актуальные проблемы логической науки [Текст] : научное издание / М. Н. Алексеев ; Гос. ун-т им. Ломоносова, Филос. фак., Каф. Логики (Москва). - М. : Изд-во Моск. ун-та, 1964. - 94 с. ; 20 см. - 0.30 р.
УДК

Кл.слова (ненормированные):
ФОРМАЛЬНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДИАЛЕКТИЧЕСКАЯ ЛОГИКА -- ПРЕПОДАВАНИЕ ЛОГИКИ -- ЛОГИЧЕСКИЕ КАДРЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

5.

    Кондаков, Н. И.
    Логический словарь-справочник [Текст] : словарь / Н. И. Кондаков ; отв. ред. Д. П. Горский ; Ин-т философии (Москва). - 2-е изд., испр. и доп. - М. : Изд-во "Наука", 1975. - 720 с. : ил. ; 26 см. - Библиогр.: с. 697-717. - 6.60 р.
ГРНТИ
УДК

Рубрики: Философия--Логика

Кл.слова (ненормированные):
ТЕРМИНЫ ЛОГИКИ -- КАТЕГОРИИ ЛОГИКИ -- МЕТОДЫ ЛОГИКИ -- ПРИМЕНЕНИЕ ЛОГИКИ -- ЛОГИЧЕСКИЕ ПРАВИЛА -- ТРАДИЦИОННАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Словарь содержит более трех тысяч статей, в которых на уровне достижения современной науки излагаются основные понятия и категории классической традиционной и математической (символической) логик, рассказывается о применении их в повседневной практике мышления, в процессе самообразования и учебных занятий, в спорах и дискуссиях, в научно-исследовательской деятельности, в электронно-вычислительной технике.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Горский, Д. П.
Найти похожие

6.

    Стяжкин, Н. И.
    Формирование математической логики [Текст] : научное издание / Н. И. Стяжкин ; Акад. наук СССР (Москва). - М. : Изд-во "Наука", 1967. - 508 с. ; 22 см. - Библиогр.: с. 454-505 (773 назв.). - 2.28 р.
УДК

Кл.слова (ненормированные):
ЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АНТИЧНЫЕ ЛОГИЧЕСКИЕ УЧЕНИЯ -- СРЕДНЕВЕКОВАЯ ЛОГИКА -- ТЕОРИЯ ЛОГИЧЕСКОГО СЛЕДОВАНИЯ -- ТЕОРИЯ СЕМАНТИЧЕСКИХ ПАРАДОКСОВ -- МЕТОДОЛОГИЧЕСКИЕ ПРИНЦИПЫ -- ПРИНЦИПЫ ЛЕЙБНИЦА Г.В. -- СИМВОЛИЧЕСКАЯ ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

7.

    Чкнаверянц, А. А.
    Закон тождества [Текст] : историко-логический очерк / А. А. Чкнаверянц. - М. : Гос. изд-во "Высшая школа", 1961. - 1000 с. ; 21 см. - 0.14 р.
УДК

Кл.слова (ненормированные):
ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ -- ЗАКОН ТОЖДЕСТВА -- МЕТАФИЗИКА -- ИДЕАЛИЗМ -- КОНЦЕПЦИИ ЗАКОНА ТОЖДЕСТВА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Данная работа представляет собой попытку раскрыть истинную сущность закона тождества как закона познающей мысли в свете теории познания диалектического материализма.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

8.

    Чупахин, И. Я.
    Вопросы теории понятия [Текст] : научное издание / И. Я. Чупахин ; Ленинградский гос. ун-т. - Л. : Изд-во Ленингр. ун-та, 1961. - 139 с. : ил. ; 21 см. - 0.56 р.
УДК

Кл.слова (ненормированные):
ТЕОРИЯ ПОНЯТИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СТРУКТУРА СУЖДЕНИЯ -- ОТРИЦАТЕЛЬНЫЕ ПОНЯТИЯ -- ФОРМАЛЬНАЯ ЛОГИКА -- ОБЪЕМ ПОНЯТИЙ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

9.

    Зенченко, В. П.
    Воздух управляет автоматами (пневматические системы машин-автоматов) [Текст] : научное издание / В. П. Зенченко, Г. В. Крейнин ; Акад. наук СССР. - М. : Изд-во "Академия наук СССР", 1963. - 109 с. : ил. ; 21 см. - (Научно-популярная серия). - 0.16 р.
УДК

Кл.слова (ненормированные):
ПНЕВМАТИЧЕСКИЕ ПРИВОДЫ -- ЛОГИЧЕСКИЕ МАШИНЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПЕРАЦИИ -- ГИДРОЦИЛИНДРЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Крейнин, Г. В.
Найти похожие

10.

    Сигорский, В. П.
    Математический аппарат инженера [Текст] : научное издание / В. П. Сигорский. - Киев : Технiка, 1975. - 768 с. : ил., табл. ; 20 см. - Библиогр. в конце ст. - 2.77 р.
ГРНТИ
УДК

Рубрики: МАТЕМАТИКА--ПРИКЛАДНАЯ МАТЕМАТИКА

Кл.слова (ненормированные):
МНОЖЕСТВА -- МАТРИЦЫ -- ГРАФЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СЛУЧАЙНЫЕ ВЕЛИЧИНЫ
Аннотация: Излагаются: множества, матрицы, графы, логика, вероятности. Теоретический материал иллюстрируется примерами из различных отраслей техники.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

11.

    Куликов, В. В.
    Дискретная математика [Текст] : учеб. пособие / В. В. Куликов. - М. : РИОР, 2012. - 174 с. : ил. ; 22 см. - (Высшее образование). - Библиогр.: с. 171 (8 назв.). - ISBN 978-5-369-00205-6 : 187.10 р.
Гриф: рек. УМО по образованию в обл. телекоммуникаций в качестве учеб. пособия для студ. вузов, обуч. по спец. 071700 "Физика и техника оптической связи", 200900 "Сети связи и системы коммутации", 201000 "Многоканальные телекоммуникационные системы", 201100 "Радиосвязь, радиовещание и телевидение", 201200 "Средства связи с подвижными объектами", 201300 "Защищенные системы связи"
ГРНТИ
УДК
ББК 22.176

Рубрики: Математика--Дискретная математика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРИЯ АЛГОРИТМОВ -- ТЕОРИЯ ГРАФОВ -- КОМБИНАТОРИКА -- КОНЕЧНЫЕ АВТОМАТЫ -- АЛГОРИТМЫ
Аннотация: В пособии рассмотрены элементы математической логики, теории множеств и теории графов, приведены основные принципы комбинаторики. Описаны алгоритмы, позволяющие решать различные задачи с помощью компьютера. Изложены основные понятия теории конечных автоматов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

12.

   
    Теория автоматов, алгоритмов и математическая логика [Текст] : сборник / И. В. Витенько [и др.] ; отв. ред. А. А. Летичевский ; Ин-т кибернетики (Киев). - Киев : ИК АН УССР, 1974. - 98 с. : ил. ; 21 см. - Библиогр.: с. 97. - 0.29 р.
ГРНТИ
УДК

Рубрики: Автоматика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КОМБИНАЦИОННЫЕ СХЕМЫ -- УПРАВЛЯЮЩИЕ ПРОГРАММЫ -- ВНЕШНЯЯ ПАМЯТЬ СИСТЕМЫ -- ОПИСАНИЕ ЯЗЫКА -- КОНЕЧНЫЕ АВТОМАТЫ
Аннотация: В сборнике рассказывается о теории автоматов, алгоритмов и математической логике, о вычислимости свойств бесконечных последовательностей и о приведении алгоритма к правильному виду.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Витенько, И. В.
Чеботарев, А. Н.
Рысцов, И. К.
Дегтярев, А. И.
Летичевский, А. А.
Найти похожие

13.

    Столяр, А. А.
    Элементарное введение в математическую логику [Текст] : научное издание / А. А. Столяр. - М. : Изд-во "Просвещение", 1965. - 162 с. : ил. ; 21 см. - Библиогр.: с. 162. - 0.22 р.
УДК

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЛОГИКА ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- МНОЖЕСТВА -- ТРАДИЦИОННАЯ ЛОГИКА -- КВАНТОРЫ -- ЭКВИВАЛЕНТНЫЕ ФОРМУЛЫ
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

14.

    Калужнин, Л. А.
    Что такое математическая логика? [Текст] : научное издание / Л. А. Калужнин. - М. : Изд-во "Наука", 1964. - 152 с. : ил., граф., табл. ; 20 см. - Библиогр.: с. 149-150 (29 назв.). - 0.21 р.
УДК

Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЙ -- ФОРМУЛЫ ЛОГИКИ -- ПРЕДИКАТЫ -- КВАНТОРЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

15.

   Мальцев, А. И.

    Избранные труды [Текст] / А. И. Мальцев. - М. : Наука, 1976.
   Т. 2 : Математическая логика и общая теория алгебраических систем / гл. ред. М. А. Лаврентьев. - 1976. - 388 с. ; 24 см. - Библиогр. в конце ст. - 2.42 р.
ГРНТИ
УДК

Рубрики: Математика--Алгебра

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ -- МНОГООБРАЗИЕ ПОСТА -- ТЕОРИЯ КЛАССОВ -- ТЕОРЕМА СЛУПЕЦКОГО -- ТЕОРЕМА ЯБЛОНСКОГО
Аннотация: Во второй том избранных трудов А. И. Мальцева вошли работы по математической логике и теории алгебраических систем.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Лаврентьев, М. А.
Найти похожие

16.

    Маркс, К.
    Математические рукописи [Текст] : научное издание / К. Маркс ; Ин-т марксизма-ленинизма при ЦК КПСС (Москва). - М. : Наука, 1968. - 639 с. : ил. ; 24 см. - Указ.: с. 630-636. - 1.17 р.
ГРНТИ
УДК

Рубрики: Философия--История марксизма-ленинизма

Кл.слова (ненормированные):
РУКОПИСИ -- ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ -- ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ -- СИМВОЛИЧЕСКИЕ ИСЧИСЛЕНИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: "Математические рукописи" К. Маркса посвящены в основном выяснению сущности дифференциального исчисления. Предложенное Марксом объяснение смысла основных понятий и методов дифференциального исчисления позволяет и в настоящее время с позиций диалектического материализма разобраться в сущности символических исчислений математики и математической логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.



Найти похожие

17.

    История отечественной математики [Текст] : в 4 т. / Ин-т истории естествознания и техники (Киев); отв. ред. И. З. Штокало. - Киев : Наукова думка, 1966 - 1970.
   Т. 4, Кн. 2 : 1917-1967. - 1970. - 667 с. : ил. ; 25 см. - Библиогр.: с. 499-551. - 3.83 р.
ГРНТИ
УДК

Рубрики: Математика--История математики

Кл.слова (ненормированные):
ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- ЧИСЛЕННЫЕ МЕТОДЫ -- ПРИБЛИЖЕННЫЕ МЕТОДЫ -- ТЕОРЕТИЧЕСКАЯ ФИЗИКА -- ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА -- КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСТОРИЯ МАТЕМАТИКИ
Аннотация: Четвертый том "Истории отечественной математики" состоит из двух книг, в которых, как и в третьем томе, освещается развитие математики в нашей стране за годы Советской власти. Вторая книга - по теории вероятностей и математической статистике, приближенным методам, математическим методам в механике и теоретической физике, вычислительной математике и кибернетике, математической логике и основаниям математики, истории математики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Штокало, И. З. \\отв. ред.\\
Найти похожие

18.

    Математика в СССР за сорок лет [Текст] : в 2 т. : 1917-1957 / гл. ред. А. Г. Курош ; под ред. В. И. Битюцкова [и др.]. - М. : Гос. изд-во физ.-мат. лит., 1959.
   Т. 1 : Обзорные статьи. - 1959. - 1002 с. ; 26 см. - Алф. указ.: с. 987-1002. - 43.80 р.
ГРНТИ
УДК

Рубрики: Математика--История математики

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ ЧИСЕЛ -- ОБЩАЯ АЛГЕБРА -- ТЕОРИЯ ПОЛЕЙ -- ТЕОРИЯ МНОГОЧЛЕНОВ -- ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ -- ВАРИАЦИОННЫЕ ИСЧИСЛЕНИЯ -- ЛИНЕЙНЫЕ ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА
Аннотация: Настоящий сборник выходит в двух томах. Первый из них посвящен обзорам работ советских ученых в различных разделах математики за 1947-1957 гг.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Курош, А. Г. \\гл. ред.\\
Битюцков, В. И. \\ред.\\
Болтянский, В. Г. \\ред.\\
Дынкин, Е. Б. \\ред.\\
Шилов, Г. Е. \\ред.\\
Юшкевич, А. П. \\ред.\\
Найти похожие

19.

   
    О точных методах исследования языка [Текст] : о так называемой "математической лингвистике" / О. С. Ахманова [и др.] ; под ред. О. С. Ахмановой. - М. : Изд-во Моск. ун-та, 1961. - 162 с. : ил. ; 21 см. - Библиогр.: с. 150-160. - 0.60 р.
ГРНТИ
УДК

Рубрики: Языкознание--Лингвистика

Кл.слова (ненормированные):
ЯЗЫКОВЕДЕНИЕ -- МАШИННЫЙ ПЕРЕВОД -- СТАТИСТИЧЕСКИЕ МЕТОДЫ -- ТЕОРИЯ ИНФОРМАЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Аннотация: Предлагаемая книга представляет собой попытку осветить некоторые результаты, достигнутые наукой в области применения точных методов к исследованию языка. Понятие точных методов в науке и, далее точных наук неразрывно связано с математикой : отсюда возникло выражение "математическая лингвистика" для обозначения этого нового направления в исследовании языка.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Ахманова, О. С.
Мельчук, И. А.
Падучева, Е. В.
Фрумкина, Р. М.
Ахманова, О. С.
Найти похожие

20.

   
    Международный математический конгресс в Эдинбурге 1958 г. [Текст] : обзор. доклады : пер. с англ., фр. и нем. / Междунар. мат. конгресс (14-21 августа, 1958 г. ; Эдинбург) ; ред. Е. Ф. Мищенко. - М. : Гос. изд-во физико-мат. лит., 1962. - 276 с. : ил. ; 20 см. - (Современные проблемы математики). - Библиогр. в конце ст. - 0.92 р.
УДК

Кл.слова (ненормированные):
ТЕОРИЯ ПОВЕРХНОСТЕЙ -- КОНГРЕСС -- КВАНТОВАЯ ТЕОРИЯ ПОЛЯ -- КОМПЛЕКСНЫЕ ПЕРЕМЕННЫЕ -- АЛГЕБРАИЧЕСКИЕ ГРУППЫ -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- КОМПЛЕКСНЫЕ МНОГООБРАЗИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ВАРИАЦИОННЫЕ МЕТОДЫ -- ЛИНЕАРИЗАЦИЯ -- ДЕЛИНЕАРИЗАЦИЯ -- СТАТИСТИЧЕСКАЯ ФИЗИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.


Доп. точки доступа:
Мищенко, Е. Ф.
Найти похожие

 1-20    21-40   41-60   61-80   81-100   101-120      
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)