寄付 2024年9月15日 – 2024年10月1日 募金について

キーワード検索

  • Main
  • キーワード検索
1
Жребий принцессы

Жребий принцессы

Тарр Джудит
言語:
russian
ファイル:
FB2 , 839 KB
0 / 0
russian
2
Жребий принцессы

Жребий принцессы

Тарр Джудит
言語:
russian
ファイル:
FB2 , 911 KB
0 / 0
russian
3
Лекции по основам математической логики. Формальные системы первого порядка

Лекции по основам математической логики. Формальные системы первого порядка

Михайлов А.Б., Швецкий М.В
формулы
вывода
порядка
формула
правила
первого
языка
формул
определение
доказательство
правило
предложение
исчисления
теории
называется
avb
формулу
vxa
множества
введение
множество
исчисление
модели
теория
математической
правил
переменная
переменной
доказательства
называть
символов
исчислении
т.е
аксиом
valm
предложения
удаление
логики
терм
вывод
второго
аксиома
переменных
определения
сигнатуры
терма
являются
вхождения
теорема
предметная
年:
1998
言語:
russian
ファイル:
DJVU, 2.38 MB
0 / 0
russian, 1998
4
Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Лекции по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета

Михайлов А. Б., Швецкий М.В.
формулы
вывода
порядка
формула
правила
первого
языка
формул
определение
доказательство
правило
предложение
исчисления
теории
называется
avb
формулу
vxa
множества
введение
множество
исчисление
модели
теория
математической
правил
переменная
переменной
доказательства
называть
символов
исчислении
т.е
аксиом
valm
предложения
удаление
логики
терм
вывод
второго
аксиома
переменных
определения
сигнатуры
терма
являются
вхождения
теорема
предметная
年:
1998
言語:
russian
ファイル:
DJVU, 2.38 MB
0 / 0
russian, 1998
5
Эховые явления в плазме и плазмоподобных средах

Эховые явления в плазме и плазмоподобных средах

Павленко В.Н., Ситенко А.Г.
年:
1988
言語:
russian
ファイル:
DJVU, 2.63 MB
0 / 0
russian, 1988
6
Упражнения по основам математической логики. Формальные системы первого порядка

Упражнения по основам математической логики. Формальные системы первого порядка

Михайлов А.Б., Рыжова Н.И., Швецкий М.В.
формулы
порядка
первого
вывода
теории
правила
языка
avb
формул
формула
множество
слов
доказательство
теория
язык
называется
введение
докажите
математической
определение
исчисления
алфавите
доказательства
исчислении
vxa
множества
формулу
правило
логики
предложение
лавров
модели
секвенций
следующие
удаление
упражнения
вхождения
доказать
максимова
правил
исчисление
логика
цепочки
аксиомы
понятия
системы
решение
вхождение
теорема
являются
年:
1997
言語:
russian
ファイル:
DJVU, 2.34 MB
0 / 0
russian, 1997
7
Эховые явления в плазме и плазмоподобных средах

Эховые явления в плазме и плазмоподобных средах

Павленко В.Н., Ситенко А.Г.
эха
поля
плазме
колебаний
плазмы
волн
exp
эхо
колебания
со2
ехр
распределения
функции
поле
порядка
волны
частиц
выражение
возмущений
эховых
получим
частоте
т.е
уравнения
уравнение
эховые
внешних
второго
приближении
электронов
определяется
скорости
возмущения
области
работе
вклад
границы
phys
частоты
ван
рассмотрим
точке
сов
условия
затухания
сигнала
электронной
рис
кампена
решение
年:
1988
言語:
russian
ファイル:
DJVU, 1.37 MB
0 / 0
russian, 1988
8
Расчет линий электропередач сельскохозяйственного назначения

Расчет линий электропередач сельскохозяйственного назначения

Янукович Г.И.
ток
напряжения
линии
провода
проводов
квт
тока
потери
сети
сечение
коэффициент
сечения
напряжением
таблице
расцепителя
рис
допустимый
кабелей
формуле
напряжение
электродвигателя
выбираем
линий
мощности
провод
зха
питания
определим
вставки
нагрузки
потеря
участке
мощность
номинальный
марки
плавкой
а25
потребителей
сопротивление
типа
трансформатора
условию
коротких
мощностей
нагрузок
расчет
токи
токов
линия
находим
言語:
russian
ファイル:
PDF, 2.39 MB
0 / 0
russian
9
Лекции по математической логике и теории алгоритмов. Часть 1

Лекции по математической логике и теории алгоритмов. Часть 1

Гордон Е.И.
年:
1998
言語:
russian
ファイル:
DJVU, 493 KB
0 / 0
russian, 1998
10
Сборник задач по высшей математике

Сборник задач по высшей математике

Кузнецов Л.А.
年:
1994
言語:
russian
ファイル:
DJVU, 4.19 MB
0 / 0
russian, 1994
11
СТИЛЬ ЭХА. ПОЕДИНОК БЕОСТРАШНСГО (Учебно-методическое поообие)

СТИЛЬ ЭХА. ПОЕДИНОК БЕОСТРАШНСГО (Учебно-методическое поообие)

年:
1991
言語:
russian
ファイル:
DJVU, 303 KB
0 / 0
russian, 1991