Поисковый запрос: (<.>K=логика<.>) |
Общее количество найденных документов : 248
Показаны документы с 1 по 10 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : Шифр см. у томов/Пр627
Заглавие : Алгебра и логика
: Сб. науч. тр.
Выходные данные : Новосибирск, 19 -
ISSN: 0373-9252
Цена : Б.ц.
ГРНТИ : 27.17 + 27.03
ББК : В152я54(2)2 + В12я54(2)2
Предметные рубрики: Высшая алгебра
Математическая логика
Дескрипторы: сб пр
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : А51/И457
Автор(ы) : Ильенков, Эвальд Васильевич
Заглавие : Диалектическая логика
: очерки истории и теории
Выходные данные : Москва: Политиздат, 1974
Колич.характеристики :271 с
Цена : Б.ц.
ГРНТИ : 02.15 + 02.91
ББК : А513.7
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика
: учебное пособие для вузов
Выходные данные : Москва: Наука, 1979
Колич.характеристики :320 с
Примечания : Указ. предм. и обозначений: с. 335-336
Цена : Б.ц.
ГРНТИ : 27.03.19
ББК : В12я73-1
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : Pr1084/Pr1084/1981-19
Автор(ы) : Smith, Jan
Заглавие : Course-of-values recursion on lists in intuitionistic type theory
: сборник
Выходные данные : Goteborg, 1981
Колич.характеристики :26 l
Серия: Publicationes/ Chalmers institute of technology and the University of Goteborg. Department of mathematics; № 1981-19
Примечания : Bibliogr.: l. 26
Цена : 39 р.
ГРНТИ : 27.03
ББК : В127 + В123
Предметные рубрики: Рекурсивные функции
Интуиционистская логика математическая
Типов теория
Дескрипторы: сб пр--моногр
Ключевые слова (''Своб.индексиров.''): конструктивный анализ
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : И-З 84/S45
Заглавие : Selected reprints on logic design for testability
: монография
Выходные данные : New York; Los Angeles: IEEE Computer soc. press, 1984
Колич.характеристики :VIII,313 p.:
Ill.
Примечания : Bibliogr. at the end of the art
ISBN, Цена 0-8186-0573-1: Б.ц.
ГРНТИ : 47.33
ББК : З 844.15-07с51
Предметные рубрики: Интегральные схемы-- Технический контроль
Дескрипторы: моногр
Ключевые слова (''Своб.индексиров.''): интегральные схемы--тестирование--цифровая логика
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : В12/Е804
Автор(ы) : Ершов, Юрий Леонидович
Заглавие : Математическая логика
: учебное пособие для математических специальностей вузов
. -2-е изд., испр. и доп.
Выходные данные : Москва: Наука, 1987
Колич.характеристики :336 с
Примечания : Предм. указ.: с. 335-336
Цена : Б.ц.
ГРНТИ : 27.03.19
ББК : В12я73
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/343
Заглавие : Algebraic and logic programming
: Intern. workshop, Gaussig, GDR, Nov. 14-18, 1988. Proc.
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :278 p.:
Ill.
Серия: Lecture notes in computer science; 343
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-50667-5: Б.ц.
ГРНТИ : 50.05.09 + 50.07.03
ББК : З 973.205-018.12я431
Предметные рубрики: Логическое программирование
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--алгебраические спецификации
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/389
Заглавие : Category theory and computer science
: Manchester, UK, Sept. 5-8, 1989. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,365 p.:
Ill.
Серия: Lecture notes in computer science; 389
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51662-X:
ГРНТИ : 50.05 + 27.17
ББК : З 973.2-018я431 + В152.53Я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Категории-- Алгебра
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): логика программ--языки программирования--теория категорий
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/398
Заглавие : Temporal logic in specification
: Altrincham, UK, Apr. 8-10, 1987. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,448 p.:
Ill.
Серия: Lecture notes in computer science; 398
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51803-7:
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): временная логика--верификация программ--процесс алгебры
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : Pr1019/Pr1019/395
Автор(ы) : Schmidt-Schauss, Manfred
Заглавие : Computational aspects of an order-sorted logic with term declarations
: сборник
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VIII,171 p.
Серия: Lecture notes in artificial intelligence; 395
Примечания : Bibliogr.: p. 156-166. Ind.: p. 167-168
ISBN, Цена 3-540-51705-7:
ГРНТИ : 27.03
ББК : В12с512
Предметные рубрики: Математическая логика-- Применение ЭВМ
Дескрипторы: сб пр
Ключевые слова (''Своб.индексиров.''): математическая логика--упорядоченная логика--термы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Стандартный