Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 260
Показаны документы с 1 по 20 |
|
1. 
|
Модели, алгоритмы, программы [Текст] : сб. науч. тр. - Тверь : [б. и.], 1993. - 133 с. : ил. - Библиогр. - ISBN 5-230-08503-7 : 17.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
математическая кибернетика -- математическая логика -- игр теория -- вероятностей теория -- вычислительная математика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
2.
|
Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра
Кл.слова (ненормированные):
высшая алгебра -- математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
3.
|
Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика
вычислительная техника--ЭВМ
Кл.слова (ненормированные):
математическая логика -- вычислимости теория -- языки спецификаций
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
4.
|
Hilbert, Alfred.
Mathematik [Текст] : справочное издание / Alfred Hilbert. - 2. Aufl. - Leipzig : Fachbuchverl., 1989. - 672 S. : Bild. - (Nachschlagebucher fur Grundlagenfacher). - ISBN 3-343-00248-8 : 70.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
математическая логика -- множеств теория -- числа -- уравнения -- неравенства -- реальные функции -- векторное исчисление -- матричное исчисление -- вероятностей теория -- описательная статистика -- элементарная геометрия
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
5.
|
Гончаров, С. С.
Введение в логику и методологию науки [Текст] : учеб. пособие / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М.; Новосибирск : Интерпракс; Ин-т математики СО РАН, 1994. - 256 с. : ил. ; 21 см. - Библиогр.: с. 239-241. - ISBN 5-86134-009-9 : б/ц
Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
ББК 87.4
Рубрики: Математика--Математическая логика
Наука--Методология науки
Кл.слова (ненормированные):
математическая логика -- методология математики -- базисные понятия -- аксиоматические системы -- эмпирические теории -- проблема индукции -- теория измерений -- основания математики -- программа Гильберта
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Доп. точки доступа:
Ершов, Ю. Л.
Самохвалов, К. Ф.
Найти похожие
|
6.
|
Волгин, Леонид Иванович.
Комплементарная алгебра и моделирование нейронных структур [Текст] = Complementary Algebra and Simulation of Neural Structures : научное издание / Л. И. Волгин ; . - Таллинн : АО "KLTK", 1993. - 47 с. : ил. - Библиогр. - 40.00 р.
Рубрики: медицина--физиология
математика--алгебра
Кл.слова (ненормированные):
нейробионика -- нейронные сети -- нервные сети -- булева алгебра -- многозначные логики -- математическая логика -- математическое моделирование -- комплементарная алгебра -- алгебра логики
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
7.
|
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов
Кл.слова (ненормированные):
множеств теория -- математическая логика -- алгоритмов теория
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Доп. точки доступа:
Максимова, Лариса Львовна
Найти похожие
|
8.
|
Грэй, Питер.
Логика, алгебра и базы данных [Текст] : научное издание / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных
Кл.слова (ненормированные):
математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
9.
|
Александрова, Регина Александровна.
Элементы теории множеств и математической логики [Текст] : практикум / Р. А. Александрова, А. М. Потапова ; . - Калининград : [б. и.], 1997. - 65, [3] c. : ил. - Библиогр. - ISBN 5-88874-059-4 : 5000.00 р.
Рубрики: математика--теория множеств--математическая логика
Кл.слова (ненормированные):
множеств теория -- математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Доп. точки доступа:
Потапова, Алевтина Михайловна
Найти похожие
|
10.
|
Фреге, Готлоб.
Избранные работы [Текст] : научное издание / Г. Фреге ; . - Москва : Дом интеллектуал. кн., 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- логическое исследование -- алгебра логики
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
11.
|
Лихтарников, Леонид Моисеевич.
Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 с. - Библиогр. - ISBN 5-8114-0082-9 (в пер.) : 35.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Доп. точки доступа:
Сукачева, Тамара Геннадьевна
Сукачёва, Тамара Геннадьевна
Найти похожие
|
12.
|
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
13.
|
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
14.
|
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
15.
|
Fuzzy Logic [Текст] : научное издание. - Chichester a. o. : Wiley, 1996. - 256, [4] p. : fig. - Bibliogr. - ISBN 0-471-96281-3 : Б. ц.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- пограничные методы -- логические технологии -- управляющие системы -- пограничный контроль -- пограничная логика
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
16.
|
Drake, Frank R.
Intermediate Set Theory [Текст] : научное издание / Frank R. Drake, D. Singh. - Chichester a. o. : Wiley, 1996. - 234 p. - Biibliogr. - ISBN 0-471-96496-4 : 20.00 р.
Рубрики: математика--теория множеств
Кл.слова (ненормированные):
множеств теория -- промежуточных множеств теория -- математическая логика -- тригонометрические множества
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Доп. точки доступа:
Singh, D.
Найти похожие
|
17.
|
Presic, Slavisa B.
m-M Calculus [Текст] : научное издание / Slavisa B. Presic. - Beograd : Matematicki inst., 1996. - 84 p. - (Posebna izdanja ; knj. 18). - Bibliogr. - ISBN 86-80593-19-2 : 15.00 р.
Рубрики: математика--математическая логика--вычислительная математика
Кл.слова (ненормированные):
математическая логика -- алгебра -- численные методы -- системы уравнений -- исчисления
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
18.
|
Нейронные сети и нейрокомпьютинг [Текст] : библиогр. указ. лит. - Ульяновск : Изд-во Ульян. техн. ун-та.
Вып. 4. - 1999. - 98 с. - ISBN Б. и. : 20.00 р.
Рубрики: вычислительная техника--информационные технологии
автоматика.кибернетика--системы автоматического управления
Кл.слова (ненормированные):
искусственный интеллект -- нейрокомпьютеры -- математическая логика -- распознавание образов -- экспертные системы -- искусственные нейронные сети -- интеллектуальные системы
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
19.
|
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / А. Н. Гамова. - Саратов : Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999. - 76 с. - ISBN 5-292-02362-0 : 10.00 р.
ББК 22.1я73
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
алгоритмы -- математическая логика -- пособия для вузов -- теория алгоритмов
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
|
20.
|
Волгин, Леонид Иванович.
Реляторные процессоры на основе графа Паскаля для адресно-ранговой идентификации, селекции и ранжирования аналоговых сигналов [Текст] : учеб. пособие по курсу "Схемотехника аналоговых электронных средств" / Л. И. Волгин. - Тольятти : Изд-во Поволж. технол. ин-та сервиса, 2000. - 81, [3] с. : ил. - Библиогр. - ISBN 5-85234-068-5 : 15.00 р.
Рубрики: радиотехника.электроника--радиоэлектроника
вычислительная техника--аппаратные средства
Кл.слова (ненормированные):
аналоговые сигналы -- схемотехника -- реляторные процессоры -- математическая логика -- аналоговые вычислительные машины
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)