пошук книг
книги
Підтримати
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Логика и исчисление предикатов: Методические указания
Изд-во ВГУ
Кацаран Т.К.
ôîðìóëû
ïðåäèêàòîâ
ôîðìóëà
ëîãèêè
ïðåäèêàò
äëÿ
òîãäà
ÿâëÿåòñÿ
åñëè
âûñêàçûâàíèå
ôîðìóë
âûñêàçûâàíèé
âìåñòî
òîæäåñòâåííî
èñ
ïåðåìåííûå
ñóùåñòâóåò
ñîáîé
ÿâëÿþòñÿ
êâàíòîðîâ
ïåðåìåííûõ
òàâòîëîãèè
òîëüêî
ìíîæåñòâå
ïðåäñòàâëÿåò
åðåç
êâàíòîðà
îäíîâðåìåííî
ïåðåìåííîé
ïðåäèêàòû
òåîðåìà
åñòâå
èñëî
êîãäà
ëîãè
ïðåäèêàòíîé
ñóùåñòâîâàíèÿ
òàêæå
äîêàçàòåëüñòâî
èñëåíèÿ
êîòîðîå
ìîæíî
íàçûâàåòñÿ
îïðåäåëåíèÿ
ïðåäìåòíûå
âûñêàçûâàíèÿ
âûòåêàåò
åñêèõ
åñòü
íàçûâàþòñÿ
Рік:
2000
Мова:
russian
Файл:
PDF, 170 KB
Ваші теги:
0
/
0
russian, 2000
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×