Головна
Авторизація
Прізвище
№ читательского билета
 

Бази даних


Каталог книг- результати пошуку

Вид пошуку
Каталог книг
Каталог книг НМетАУ (до 2022 року)
Періодичні видання (друковані)
Статті, доповіді, тези
Рідкісні та цінні видання
Охоронні документи
Мережеві ресурси
Зона пошуку
у знайденому
 Знайдено у інших БД:Статті, доповіді, тези (10)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: <.>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 
 
Стандартний
Розширений
Професійний
За словником
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)