Пошуковий запит: <.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.> |
Загальна кількість знайдених документів : 11
Показані документи с 1 за 10 |
|
1. 
|
Форма документа : Однотомне видання
Шифр видання : У 51/К64
Автор(и) : Конашенко С.И.
Назва : Методические указания к решению задач по прикладной математической логике
. Ч.1
Вихідні дані : Днепропетровск: ДИИТ, 1983
Кільк.характеристики :52 с.:
табл., ил.
Серія: ДИИТ. Каф. Прикладная математика
:
УДК : 510.6(075.8)
Предметні рубрики: Математика
Примірники : всього 1: АНЛ(1), АУЛ(77)
Вільні : АНЛ(1), АУЛ(77)
Знайти схожі
|
2.
|
Форма документа : Однотомне видання
Шифр видання : У 519/О-75
Назва : Основи дискретної математики
: Підручник для вузів
Вихідні дані : К.: Наук. думка, 2002
Кільк.характеристики :578 с
ISBN, Ціна 966-00-0622-5:
УДК : 519.85(075.8)
Предметні рубрики: Математическая статистика
Математична статистика
Ключові слова (''Вільн.індекс.''): дискретная математика--дискретна математика--комбинаторика--комбінаторика--алгебра--алгоритмов теория--алгоритмів теорія--математическая логика--математична логіка--графов теория--графів теорія--математические модели--математичні моделі--алгоритмы--алгоритми--программные инварианты--програмні інваріанти
Примірники : всього : АУЛ(6)
Вільні : АУЛ(6)
Знайти схожі
|
3.
|
Форма документа : Однотомне видання
Шифр видання : У519/Е 80
Автор(и) : Ершов А.П.
Назва : Введение в теоретическое программирование. Беседы о методе
: Учеб. пособие для вузов
Вихідні дані : М.: Наука, 1977
Кільк.характеристики :288 с
Примітки : Указ.: с. 287-288
:
УДК : 519.68(075.8)
Предметні рубрики: математическое программирование
математичне програмування
Примірники : всього : АУЛ(10)
Вільні : АУЛ(10)
Знайти схожі
|
4.
|
Форма документа : Однотомне видання
Шифр видання : 16/П 30
Автор(и) : Петров Ю.А.
Назва : Логические проблемы абстракций бесконечности и осуществимости
Вихідні дані : М.: Наука, 1967
Кільк.характеристики :164 с
:
УДК : 164 + 517.11
Предметні рубрики: Логика
Логіка
Ключові слова (''Вільн.індекс.''): математическая логика--математична логіка
Примірники :АНЛ(1)
Вільні : АНЛ(1)
Знайти схожі
|
5.
|
Форма документа : Однотомне видання
Шифр видання : 16/П 30
Автор(и) : Петров Ю.А.
Назва : Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий)
Вихідні дані : М.: Изд-во МГУ, 1974
Кільк.характеристики :191 с
:
УДК : 510.6
ББК : Ю935.131.8
Предметні рубрики: Логика
Логіка
Ключові слова (''Вільн.індекс.''): математическая логика--математична логіка
Примірники : всього : АНЛ(2)
Вільні : АНЛ(2)
Знайти схожі
|
6.
|
Форма документа : Однотомне видання
Шифр видання : 51/Г 45
Автор(и) : Гжегорчик А.
Назва : Популярная логика
: пер. с польск.
. -3-е изд., стер.
Вихідні дані : М.: Наука, 1979
Кільк.характеристики :111 с
:
УДК : 510.63
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): математическая логика--математична логіка
Примірники : всього : АНЛ(2)
Вільні : АНЛ(2)
Знайти схожі
|
7.
|
Форма документа : Однотомне видання
Шифр видання : 51/Г 45
Автор(и) : Гжегорчик А.
Назва : Популярная логика. Общедоступный очерк логики предложений
: пер. с польск.
. -2-е изд., испр.
Вихідні дані : М.: Наука, 1972
Кільк.характеристики :111 с
:
УДК : 510.63
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): математична логіка--математическая логика
Примірники : всього : АНЛ(2)
Вільні : АНЛ(2)
Знайти схожі
|
8.
|
Форма документа : Однотомне видання
Шифр видання : 51/Г 45
Автор(и) : Гжегорчик А.
Назва : Популярная логика. Общедоступный очерк логики предложений
: пер. с польск.
Вихідні дані : М.: Наука, 1965
Кільк.характеристики :107 с.:
схем.
:
УДК : 510.63
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): математическая логика--математична логіка
Примірники : всього : АНЛ(2)
Вільні : АНЛ(2)
Знайти схожі
|
9.
|
Форма документа : Багатотомне видання
Шифр видання : 51/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров/ Л. П. Лисовик. Т. 3
. Кн. 6 : Функции и аппликативные системы
Вихідні дані : К.: Феникс, 2007
Кільк.характеристики :284 с.:
ил.
Серія: Математическое мышление
Примітки : Библиогр.: с. 273-282 (119 назв.)
ISBN, Ціна 978-966-651-466-3 (кн.6)
ISBN, Ціна 966-651-375-7 (т.3)
ДРНТІ : 27
УДК : 517.2
Предметні рубрики: Высшая математика
Высшая математика
Ключові слова (''Вільн.індекс.''): дельта-исчисление--дельта-обчислення--макропреобразователи--макроперетворювачі--аналитические множества--аналітичні множини--математическая логика--математична логіка--ламбда-исчисление--ламбда-обчислення--трансдьюсеры--трансд'юсери
Примірники :АНЛ(1)
Вільні : АНЛ(1)
Знайти схожі
|
10.
|
Форма документа : Однотомне видання
Шифр видання : У 517/Б 25
Автор(и) : Барковський В. В., Барковська Н. В.
Назва : Вища математика для економістів
: навч. посібник
. -5-те вид.
Вихідні дані : Київ: Центр учбової літератури, 2010
Кільк.характеристики :448 с.:
іл., табл.
ISBN, Ціна 978-966-364-991-7:
ДРНТІ : 27
УДК : 330.4(075)
Предметні рубрики: Вища математика
Высшая математика
Ключові слова (''Вільн.індекс.''): навчальний посібник--учебное пособие--економічна математика--экономическая математика--математична логіка--математическая логика--комбінаторика--комбинаторика--математика фінансів--математика финансов
Примірники :АУЛ(1)
Вільні : АУЛ(1)
Знайти схожі
|
|
|
|
Головна
Каталог книг
Стандартний