Головна
Авторизація
Прізвище
№ читательского билета
Наукова бібліотека Українського державного університету науки і технологій
Бази даних
Каталог книг- результати пошуку
Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
Ключевые слова
Автор
Назва
Рік видання
у знайденому
Знайдено у інших БД:
Статті, доповіді, тези (8)
Мережеві ресурси (1)
Формат представлення знайдених документів:
повний
інформаційний
короткий
Відсортувати знайдені документи за:
автором
назвою
роком видання
типом документа
Пошуковий запит:
<.>K=МАТЕМАТИЧНА ЛОГІКА<.>
Загальна кількість знайдених документів
:
11
Показані документи
с 1 за 10
1-10
11-11
>
1.
У 51
К64
Конашенко, С. И.
Методические указания к решению задач по прикладной математической логике. Ч.1 / С.И. Конашенко. - Днепропетровск : ДИИТ, 1983. - 52 с. : табл., ил. - (ДИИТ. Каф. Прикладная математика). - 00.00
УДК
510.6(075.8)
Рубрики:
Математика
Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
--
ДИСКРЕТНАЯ МАТЕМАТИКА
--
ДИСКРЕТНА МАТЕМАТИКА
Примірників всього:
78
АНЛ (1), АУЛ (77)
Свободны:
АНЛ (1), АУЛ (77)
Знайти схожі
>
2.
У 519
О-75
Основи дискретної математики
: Підручник для вузів. - К. : Наук. думка, 2002. - 578 с. -
ISBN
966-00-0622-5 : 21.00 грн, 21.10 грн
УДК
519.85(075.8)
Рубрики:
Математическая статистика
Математична
статистика
Кл.слова (ненормовані):
дискретная математика
--
ДИСКРЕТНА МАТЕМАТИКА
--
комбинаторика
--
КОМБІНАТОРИКА
--
Алгебра
--
алгоритмов теория
--
алгоритмів теорія
--
математическая логика
--
математична
логіка
--
ГРАФОВ ТЕОРИЯ
--
графів теорія
--
Математические модели
--
математичні моделі
--
алгоритмы
--
алгоритми
--
программные инварианты
--
програмні інваріанти
Дод.точки доступу:
Капітонова, Ю.В.; Кривий, С.Л.
Примірників всього:
6
АУЛ (6)
Свободны:
АУЛ (6)
Знайти схожі
>
3.
У519
Е 80
Ершов, А. П.
Введение в теоретическое программирование. Беседы о методе : Учеб. пособие для вузов / А. П. Ершов. - М. : Наука, 1977. - 288 с. - Указ.: с. 287-288. - 5.00 грн
УДК
519.68(075.8)
Рубрики:
математическое программирование
математичне програмування
Кл.слова (ненормовані):
ОПЕРАТОРНЫЕ СХЕМЫ
--
ОПЕРАТОРНІ СХЕМИ
--
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
--
АЛГОРИТМИЗАЦИЯ
--
АЛГОРИТМІЗАЦІЯ
Примірників всього:
10
АУЛ (10)
Свободны:
АУЛ (10)
Знайти схожі
>
4.
16
П 30
Петров, Ю. А.
Логические проблемы абстракций бесконечности и осуществимости / Ю. А. Петров. - М. : Наука, 1967. - 164 с. - 00.50 р.
УДК
164
517.11
Рубрики:
Логика
Логіка
Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
Примірників всього:
1
АНЛ (1)
Свободны:
АНЛ (1)
Знайти схожі
>
5.
16
П 30
Петров, Ю. А.
Математическая логика и материалистическая диалектика. (Проблемы логико-философских оснований и обоснования теорий) / Ю. А. Петров. - М. : Изд-во МГУ, 1974. - 191 с. - 00.92 р.
УДК
510.6
ББК
Ю935.131.8
Рубрики:
Логика
Логіка
Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
Примірників всього:
2
АНЛ (2)
Свободны:
АНЛ (2)
Знайти схожі
>
6.
51
Г 45
Гжегорчик, А.
Популярная логика : пер. с польск. / А. Гжегорчик. - 3-е изд., стер. - М. : Наука, 1979. - 111 с. - 00.00
УДК
510.63
Рубрики:
Математика
Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
Примірників всього:
2
АНЛ (2)
Свободны:
АНЛ (2)
Знайти схожі
>
7.
51
Г 45
Гжегорчик, А.
Популярная логика. Общедоступный очерк логики предложений : пер. с польск. / А. Гжегорчик. - 2-е изд., испр. - М. : Наука, 1972. - 111 с. - 00.26 р.
УДК
510.63
Рубрики:
Математика
Кл.слова (ненормовані):
МАТЕМАТИЧНА
ЛОГІКА
--
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Примірників всього:
2
АНЛ (2)
Свободны:
АНЛ (2)
Знайти схожі
>
8.
51
Г 45
Гжегорчик, А.
Популярная логика. Общедоступный очерк логики предложений : пер. с польск. / А. Гжегорчик. - М. : Наука, 1965. - 107 с. : схем. - 00.16 р.
УДК
510.63
Рубрики:
Математика
Кл.слова (ненормовані):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
МАТЕМАТИЧНА
ЛОГІКА
Примірників всього:
2
АНЛ (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) : 32.00 грн
ДРНТІ
27
УДК
517.2
Рубрики:
Высшая математика
Высшая математика
Кл.слова (ненормовані):
дельта-исчисление
--
дельта-обчислення
--
макропреобразователи
--
макроперетворювачі
--
аналитические множества
--
аналітичні множини
--
математическая логика
--
математична
логіка
--
ламбда-исчисление
--
ламбда-обчислення
--
ТРАНСДЬЮСЕРЫ
--
трансд'юсери
Дод.точки доступу:
Лисовик, Л. П.
Примірників всього:
1
АНЛ (1)
Свободны:
АНЛ (1)
Знайти схожі
>
10.
У 517
Б 25
Барковський, В. В.
Вища математика для економістів : навч. посібник / В. В. Барковський, Н. В. Барковська. - 5-те вид. - Київ : Центр учбової літератури, 2010. - 448 с. : іл., табл. -
ISBN
978-966-364-991-7 : 80.00 грн
ДРНТІ
27
УДК
330.4(075)
Рубрики:
Вища математика
Высшая математика
Кл.слова (ненормовані):
НАВЧАЛЬНИЙ ПОСІБНИК
--
УЧЕБНОЕ ПОСОБИЕ
--
ЕКОНОМІЧНА МАТЕМАТИКА
--
ЭКОНОМИЧЕСКАЯ МАТЕМАТИКА
--
МАТЕМАТИЧНА
ЛОГІКА
--
МАТЕМАТИЧЕСКАЯ ЛОГИКА
--
КОМБІНАТОРИКА
--
КОМБИНАТОРИКА
--
математика фінансів
--
математика финансов
Дод.точки доступу:
Барковська, Н. В.
Примірників всього:
1
АУЛ (1)
Свободны:
АУЛ (1)
Знайти схожі
повний формат
короткий формат
всі знайдені
відмічені
окрім відмічених
1-10
11-11
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)