Наукова бібліотека
Одеського Національного університету
імені І.І. Мечникова
м. Одеса,
вул. Преображенська,24
ukr
Електронний каталог: Тезаурус - Рубрика: мови математичної логіки, формальні мови
Нові надходження
Простий пошук
Розширений пошук
Допомога
Автори
Видавництва
Серії
Тезаурус (Рубрики)
Публічні полиці
Штрих-код
Пароль
Рубрика: мови математичної логіки, формальні мови
Показані записи 5 з 5
Введіть частину назви рубрики:
Тезаурус
всі тезауруси
Предметні рубрики
Ключевые слова
Ряды
Дисциплины
Гриф
Дарители
Владельцы
Посилання
Групи
Рубрики вищого рівня
Назва рубрики
См. також
Підрубрики
Документи
в рубрике
с урахуванням підрубрик
МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
=>
Математика
=>
фундаментальні та загальні питання математики
=>
математична логіка
=>
мови математичної логіки, формальні мови
теорія логічного висновку
МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
=>
Математика
=>
фундаментальні та загальні питання математики
=>
математична логіка
=>
мови математичної логіки, формальні мови
логічні числення
МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
=>
Математика
=>
фундаментальні та загальні питання математики
=>
математична логіка
=>
мови математичної логіки, формальні мови
формалізація традиційної логіки
1
МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
=>
Математика
=>
фундаментальні та загальні питання математики
=>
математична логіка
=>
мови математичної логіки, формальні мови
застосування логічних числень
МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
=>
Математика
=>
фундаментальні та загальні питання математики
=>
математична логіка
=>
мови математичної логіки, формальні мови
мова тернарного опису
3