Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 922698
51(082)/М74
Заглавие : Модели, алгоритмы, программы
: Сб. науч. тр.
Выходные данные : Тверь, 1993
Колич.характеристики :133 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-230-08503-7: 17.00 р.
УДК : 51(082)
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математическая логика--игр теория--вероятностей теория--вычислительная математика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
2.
|
Вид документа : Многотомное издание
Шифр издания : 607088
512.8/А45
Заглавие : Алгебра и логика: Сб. науч. тр. Т. 31
. N 1
Выходные данные : Новосибирск, 1992
Колич.характеристики :98 с
Примечания : Библиогр.
ISBN, Цена 5-7623-0396-2: 15.00 р.
УДК : 512.8(082)
Предметные рубрики: математика-- алгебра
Ключевые слова (''Своб.индексиров.''): высшая алгебра--математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
3.
|
Вид документа : Многотомное издание
Шифр издания : 578062
681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991
Колич.характеристики :192 с
ISBN, Цена 5-7623-0102-8: 4.80 р.
УДК : 510 + 004
Предметные рубрики: математика-- математическая логика
вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 800470
16+16-2/Ж79
Автор(ы) : Жоль, Константин Константинович
Заглавие : Логика в лицах и символах
: науч.-попул. кн.
Выходные данные : Москва: Педагогика-Пресс, 1993
Колич.характеристики :256 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-7155-0494-5: 1000.00 р.
УДК : 16(023)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): логика--логика и математика--логика и кибернетика--логика и техника--математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- математика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--числа--уравнения--неравенства--реальные функции--векторное исчисление--матричное исчисление--вероятностей теория--описательная статистика--элементарная геометрия
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
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
Предметные рубрики: медицина-- физиология
математика-- алгебра
Ключевые слова (''Своб.индексиров.''): нейробионика--нейронные сети--нервные сети--булева алгебра--многозначные логики--математическая логика--математическое моделирование--комплементарная алгебра--алгебра логики
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
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)
Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика--алгоритмов теория
Экземпляры : всего : ОХФ(3)
Свободны : ОХФ(3)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 919528
681.142.2/Г91
Автор(ы) : Грэй, Питер
Заглавие : Логика, алгебра и базы данных
Выходные данные : Москва: Машиностроение, 1989
Колич.характеристики :360 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-217-00178-X , 0-470-2025: 3000.00 р.
УДК : 004.6
Предметные рубрики: вычислительная техника-- базы и банки данных
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--базы данных--экспертные системы--реляционное исчисление--кодасил концепция--пролог
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 406990
51.01+51.018/А46
Автор(ы) : Александрова, Регина Александровна, Потапова, Алевтина Михайловна
Заглавие : Элементы теории множеств и математической логики
: практикум
Выходные данные : Калининград: [б. и.], 1997
Колич.характеристики :65, [3] c.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-88874-059-4: 5000.00 р.
УДК : [510.22+510.6](076.5)
Предметные рубрики: математика-- теория множеств-- математическая логика
Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 944912
51.01/Ф86
Автор(ы) : Фреге, Готлоб
Заглавие : Избранные работы
Выходные данные : Москва: Дом интеллектуал. кн., 1997
Колич.характеристики :160 с
ISBN, Цена 5-7333-0435-9: 14.00 р.
УДК : 510.6(081)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--логическое исследование--алгебра логики
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 995996
16(075)/Н53
Автор(ы) : Непейвода, Николай Николаевич
Заглавие : Прикладная логика
: учеб. пособие для студентов вузов
Выходные данные : Ижевск: Изд-во Удм. ун-та, 1997
Колич.характеристики :384 с
ISBN (в пер.), Цена 5-7029-0074-X: 25.00 р.
УДК : [16:51](075.8)
Предметные рубрики: логика-- логика
Ключевые слова (''Своб.индексиров.''): естественный вывод--математическая логика--высказывания--логические формулы--классическая логика--математические методы--индукция--нестандартный анализ
Экземпляры : всего : ОХФ(7)
Свободны : ОХФ(7)
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 580680
51.01/Л65
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика
: курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям
Выходные данные : Санкт-Петербург: Лань, 1998
Колич.характеристики :285 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8114-0082-9: 35.00 р.
УДК : 510.6(075.8+076.5+076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего : ОХФ-ЧЗ-4(1), ОХФ(2)
Свободны : ОХФ-ЧЗ-4(1), ОХФ(2)
Найти похожие
|
13.
|
Вид документа : Многотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
14.
|
Вид документа : Многотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
15.
|
Вид документа : Многотомное издание
Шифр издания : 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)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
16.
|
Вид документа : Однотомное издание
Шифр издания : 604689
51.01/F98
Заглавие : Fuzzy Logic
: научное издание
Выходные данные : Chichester a. o.: Wiley, 1996
Колич.характеристики :256, [4] p.:
fig.
Примечания : Bibliogr.
ISBN, Цена 0-471-96281-3: Б.ц.
УДК : 510.06
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--пограничные методы--логические технологии--управляющие системы--пограничный контроль--пограничная логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- теория множеств
Ключевые слова (''Своб.индексиров.''): множеств теория--промежуточных множеств теория--математическая логика--тригонометрические множества
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 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
Предметные рубрики: математика-- математическая логика-- вычислительная математика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--численные методы--системы уравнений--исчисления
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие
|
19.
|
Вид документа : Многотомное издание
Шифр издания : 823917
62-506.2(016)+681.142.37/Н46
Заглавие : Нейронные сети и нейрокомпьютинг: Библиогр. указ. лит. Вып. 4
Выходные данные : Ульяновск: Изд-во Ульян. техн. ун-та, 1999
Колич.характеристики :98 с
ISBN, Цена Б. и.: 20.00 р.
УДК : 004.032.26(01) + 681.518(01)
Предметные рубрики: вычислительная техника-- информационные технологии
автоматика.кибернетика-- системы автоматического управления
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--нейрокомпьютеры--математическая логика--распознавание образов--экспертные системы--искусственные нейронные сети--интеллектуальные системы
Экземпляры : всего : ОХФ-СБО(1), ОХФ(1)
Свободны : ОХФ-СБО(1), ОХФ(1)
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 876908
51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие для студентов и аспирантов мат. фак. ун-та
Выходные данные : Саратов: Издательство Саратовского университета, 1999
Колич.характеристики :76 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02362-0: 15.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний
Экземпляры : всего : ОХФ(2)
Свободны : ОХФ(2)
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)