Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 260
Показаны документы с 1 по 20 |
|
>1.
|
Вид документа : Однотомное издание Шифр издания : 922698 51(082)/М 74
Заглавие : Модели, алгоритмы, программы
: Сб. науч. тр.
Выходные данные : Тверь, 1993 Колич.характеристики :133 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-230-08503-7: 17.00 р.
УДК : 51(082) Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математическая логика--игр теория--вероятностей теория--вычислительная математика
Найти похожие
|
>2.
|
Вид документа : Многотомное издание Шифр издания : 607088 512.8/А 45
Заглавие : Алгебра и логика: Сб. науч. тр. Т. 31
. N 1
Выходные данные : Новосибирск, 1992 Колич.характеристики :98 с
Примечания : Библиогр.
ISBN, Цена 5-7623-0396-2: 15.00 р.
УДК : 512.8(082) Предметные рубрики: математика-- алгебра Ключевые слова (''Своб.индексиров.''): высшая алгебра--математическая логика
Найти похожие
|
>3.
|
Вид документа : Многотомное издание Шифр издания : 578062 681.142(08)/В 94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с
ISBN, Цена 5-7623-0102-8: 4.80 р.
УДК : 510 + 004 Предметные рубрики: математика-- математическая логика вычислительная техника-- ЭВМ Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций
Найти похожие
|
>4.
|
Вид документа : Однотомное издание Шифр издания : 355297 51/H66
Автор(ы) : Hilbert, Alfred
Заглавие : Mathematik
: справочное издание
. -2. Aufl. Выходные данные : Leipzig: Fachbuchverl., 1989 Колич.характеристики :672 S.:
Bild.
Серия: Nachschlagebucher fur Grundlagenfacher
ISBN, Цена 3-343-00248-8: 70.00 р.
УДК : 51 Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--числа--уравнения--неравенства--реальные функции--векторное исчисление--матричное исчисление--вероятностей теория--описательная статистика--элементарная геометрия
Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 51(075)/Г 65
Автор(ы) : Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф.
Заглавие : Введение в логику и методологию науки
: учеб. пособие
Выходные данные : М.; Новосибирск: Интерпракс; Ин-т математики СО РАН, 1994 Колич.характеристики :256 с.:
ил.; 21 см
Примечания : Библиогр.: с. 239-241. - Прил.: с. 230-238; Имен. указ.: с. 242-243; Предм. указ.: с. 244-249
ISBN, Цена 5-86134-009-9: б/ц
ГРНТИ : 27.01.33 УДК : 51+001.8(075.8) ББК : 87.4 Предметные рубрики: Математика-- Математическая логика Наука-- Методология науки Ключевые слова (''Своб.индексиров.''): математическая логика--методология математики--базисные понятия--аксиоматические системы--эмпирические теории--проблема индукции--теория измерений--основания математики--программа гильберта
Найти похожие
|
>6.
|
Вид документа : Однотомное издание Шифр издания : 191754 612.82:62-50+51.01/В 67
Автор(ы) : Волгин, Леонид Иванович
Заглавие : Комплементарная алгебра и моделирование нейронных структур
: научное издание
Параллельн. заглавия :Complementary Algebra and Simulation of Neural Structures Выходные данные : Таллинн: АО "KLTK", 1993 Колич.характеристики :47 с.:
ил.
Примечания : Библиогр.
Цена : 40.00 р.
УДК : 612.82:007 + 512.6 Предметные рубрики: медицина-- физиология математика-- алгебра Ключевые слова (''Своб.индексиров.''): нейробионика--нейронные сети--нервные сети--булева алгебра--многозначные логики--математическая логика--математическое моделирование--комплементарная алгебра--алгебра логики
Найти похожие
|
>7.
|
Вид документа : Однотомное издание Шифр издания : 541612 51.01(076)+51.017+51.018/Л 13
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов
: сб. задач
. -3-е изд. Выходные данные : Москва: Физматлит, 1995 Колич.характеристики :255 с
Примечания : Библиогр.
ISBN, Цена 5-02-014844-X: 4000.00 р.
УДК : [510.22+510.6+510.51](076.1) Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика--алгоритмов теория
Найти похожие
|
>8.
|
Вид документа : Однотомное издание Шифр издания : 919528 681.142.2/Г 91
Автор(ы) : Грэй, Питер
Заглавие : Логика, алгебра и базы данных
: научное издание
Выходные данные : Москва: Машиностроение, 1989 Колич.характеристики :360 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-217-00178-X , 0-470-2025: 3000.00 р.
УДК : 004.6 Предметные рубрики: вычислительная техника-- базы и банки данных Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--базы данных--экспертные системы--реляционное исчисление--кодасил концепция--пролог
Найти похожие
|
>9.
|
Вид документа : Однотомное издание Шифр издания : 406990 51.01+51.018/А 46
Автор(ы) : Александрова, Регина Александровна, Потапова, Алевтина Михайловна
Заглавие : Элементы теории множеств и математической логики
: практикум
Выходные данные : Калининград: [б. и.], 1997 Колич.характеристики :65, [3] c.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-88874-059-4: 5000.00 р.
УДК : [510.22+510.6](076.5) Предметные рубрики: математика-- теория множеств-- математическая логика Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика
Найти похожие
|
>10.
|
Вид документа : Однотомное издание Шифр издания : 944912 51.01/Ф 86
Автор(ы) : Фреге, Готлоб
Заглавие : Избранные работы
: научное издание
Выходные данные : Москва: Дом интеллектуал. кн., 1997 Колич.характеристики :160 с
ISBN, Цена 5-7333-0435-9: 14.00 р.
УДК : 510.6(081) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логическое исследование--алгебра логики
Найти похожие
|
>11.
|
Вид документа : Однотомное издание Шифр издания : 580680 51.01/Л 65
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика
: курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям
Выходные данные : Санкт-Петербург: Лань, 1998 Колич.характеристики :285 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8114-0082-9: 35.00 р.
УДК : 510.6(075.8+076.5+076.1) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
>12.
|
Вид документа : Многотомное издание Шифр издания : 741926 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 25
Выходные данные : Krakow: Jagiellonian Univ. Press, 1991 Колич.характеристики :149 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0537-4: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
>13.
|
Вид документа : Многотомное издание Шифр издания : 400416 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 26
Выходные данные : Krakow: Jagiellonian Univ. Press, 1992 Колич.характеристики :95 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0630-3: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
>14.
|
Вид документа : Многотомное издание Шифр издания : 023455 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 27
Выходные данные : Krakow: Jagiellonian Univ. Press, 1993 Колич.характеристики :94 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0738-5: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Найти похожие
|
>15.
|
Вид документа : Однотомное издание Шифр издания : 604689 51.01/F98
Заглавие : Fuzzy Logic
: научное издание
Выходные данные : Chichester a. o.: Wiley, 1996 Колич.характеристики :256, [4] p.:
fig.
Примечания : Bibliogr.
ISBN, Цена 0-471-96281-3: Б.ц.
УДК : 510.06 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--пограничные методы--логические технологии--управляющие системы--пограничный контроль--пограничная логика
Найти похожие
|
>16.
|
Вид документа : Однотомное издание Шифр издания : 310900 51.018/D80
Автор(ы) : Drake Frank R., Singh D.
Заглавие : Intermediate Set Theory
: научное издание
Выходные данные : Chichester a. o.: Wiley, 1996 Колич.характеристики :234 p.
Примечания : Biibliogr.
ISBN, Цена 0-471-96496-4: 20.00 р.
УДК : 519.5 Предметные рубрики: математика-- теория множеств Ключевые слова (''Своб.индексиров.''): множеств теория--промежуточных множеств теория--математическая логика--тригонометрические множества
Найти похожие
|
>17.
|
Вид документа : Однотомное издание Шифр издания : 490597 51.013+518.21/P91
Автор(ы) : Presic Slavisa B.
Заглавие : m-M Calculus
: научное издание
Выходные данные : Beograd: Matematicki inst., 1996 Колич.характеристики :84 p.
Серия: Posebna izdanja; knj. 18
Примечания : Bibliogr.
ISBN, Цена 86-80593-19-2: 15.00 р.
УДК : 510.63 + 519.61 Предметные рубрики: математика-- математическая логика-- вычислительная математика Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--численные методы--системы уравнений--исчисления
Найти похожие
|
>18.
|
Вид документа : Многотомное издание Шифр издания : 823917 62-506.2(016)+681.142.37/Н 46
Заглавие : Нейронные сети и нейрокомпьютинг: Библиогр. указ. лит. Вып. 4
Выходные данные : Ульяновск: Изд-во Ульян. техн. ун-та, 1999 Колич.характеристики :98 с
ISBN, Цена Б. и.: 20.00 р.
УДК : 004.032.26(01) + 681.518(01) Предметные рубрики: вычислительная техника-- информационные технологии автоматика.кибернетика-- системы автоматического управления Ключевые слова (''Своб.индексиров.''): искусственный интеллект--нейрокомпьютеры--математическая логика--распознавание образов--экспертные системы--искусственные нейронные сети--интеллектуальные системы
Найти похожие
|
>19.
|
Вид документа : Однотомное издание Шифр издания : 22.1я73
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие для вузов
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1999 Колич.характеристики :76 с
ISBN, Цена 5-292-02362-0: 10.00 р.
ББК : 22.1я73 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгоритмы--математическая логика--пособия для вузов--теория алгоритмов
Найти похожие
|
>20.
|
Вид документа : Однотомное издание Шифр издания : 220282 621.396.69(075)+681.142.33(075)/В 67
Автор(ы) : Волгин, Леонид Иванович
Заглавие : Реляторные процессоры на основе графа Паскаля для адресно-ранговой идентификации, селекции и ранжирования аналоговых сигналов
: учеб. пособие по курсу "Схемотехника аналоговых электронных средств"
Выходные данные : Тольятти: Изд-во Поволж. технол. ин-та сервиса, 2000 Колич.характеристики :81, [3] с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-85234-068-5: 15.00 р.
УДК : 621.396.6:519.713.2(075.8) + 004.387(075.8) Предметные рубрики: радиотехника.электроника-- радиоэлектроника вычислительная техника-- аппаратные средства Ключевые слова (''Своб.индексиров.''): аналоговые сигналы--схемотехника--реляторные процессоры--математическая логика--аналоговые вычислительные машины
Найти похожие
|
|
|