ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ
Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english
Публикаций на странице:    Страница: 12345 ... 1213 14 ... 3839404142
2017 г.
Авторы: Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al.

Is Leibnizian calculus embeddable in first order logic?
Foundations of Science, 2017, 22, Issue 4, pp 717–731.
DOI: 10.1007/s10699-016-9495-6 .
WoS Q2
Перейти к публикации

2017 г.
Авторы: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al.

Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238.
DOI: 10.1007/s10838-016-9334-z .
SCOPUS Q2
Перейти к публикации

2017 г.
Авторы: Кановей В.Г., Любецкий В.А.

Определимое счетное множество, не содержащее определимых элементов. Математические заметки, 2017, 102, вып. 3, стр. 369-382. doi:10.4213/mzm10842
Перейти к публикации

2017 г.
Авторы: Blazczyk P., Kanovei V., Katz M., Sherry D.

Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140.
DOI: 10.1007/s10699-015-9473-4 .
WoS Q2
Перейти к публикации

2017 г.
Авторы: Golshani M., Kanovei V., Lyubetsky V.

A Groszek-Laver pair of undistinguishable E0-classes. Mathematical Logic Quarterly, 2017, Vol. 63, No. 1–2, P. 19–31. doi:10.1002/malq.201500020
Перейти к публикации

2016 г.
Авторы: Golshani M., Kanovei V., Lyubetsky V.

A Groszek-Laver pair of undistinguishable E0 classes. arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp.
Перейти к публикации

2016 г.
Авторы: Зверко́в О.А., Русин Л.Ю., Любецкий В.А., Алёшин В.В.

Problem of phylogenetic position of dicyemids. Abstracts of the International Symposium "Cognitive Sciences, Genomics and Bioinformatics" (CSGB-2016), Novosibirsk, Russia, August 29–31 2016, P. 68.
Перейти к публикации

2016 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Модифицированный алгоритм преобразования хромосомных структур: условия абсолютной точности. Современные информационные технологии и ИТ-образование. 2016, том 12, № 1, стр. 162–172.
Перейти к публикации

2016 г.
Авторы: Селиверстов А.В.

Начертательная геометрия для преподавания дискретной математики Математические методы и модели: теория, приложения и роль в образовании: Международная научно-техническая конференция (Россия, г. Ульяновск, 28-30 апреля 2016 г.): сборник научных трудов. Ч. 1 / под общ. ред. д-ра физ.-мат. наук, проф. П. А. Вельмисова. Ульяновск: УлГТУ, 2016. С. 257-260.
Перейти к публикации Загрузить (4.4 MB)

2016 г.
Авторы: Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V.

Degenerate inverted repeats in the genomes of mycobacterium. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian.

2016 г.
Авторы: Lyubetsky V., Piel W., Stadler P.

Molecular Phylogenetics 2016. BioMed Research International, 2016, vol. 2016, Article ID 9029306. DOI: 10.1155/2016/9029306, PMID: 28127550
Перейти к публикации

2016 г.
Авторы: Gorbunov K., Lyubetsky V.

A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness. CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian.

2016 г.
Авторы: Горбунов К.Ю., Любецкий В.А.

Линейный алгоритм кратчайшей перестройки графов при разных ценах операций. Информационные процессы, 2016, том 16, № 2, стр. 223–236.

2016 г.
Авторы: Lyubetsky V., Seliverstov A.

A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem. Journal of Communications Technology and Electronics, 2016, vol. 61, no. 6, p. 705–708. DOI: 10.1134/S1064226916060152

2016 г.
Авторы: Rubanov L., Seliverstov A., Zverkóv O., Lyubetsky V.

A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata. BMC Bioinformatics. 2016, vol. 17, art. 385, 16 pp. DOI: 10.1186/s12859-016-1257-5, PMID: 27645252
Перейти к публикации

2016 г.
Авторы: Селиверстов А.В.

О симметрии проективных кривых. Вестник ТвГУ. Серия: Прикладная математика. 2016. № 3. С. 59-66.
Загрузить (276.9 KB)

2016 г.
Авторы: Рубанов Л.И., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.

Высоко консервативные элементы в митохондриях однодольных растений. Современные информационные технологии и ИТ-образование. 2016, том 12, № 2. стр. 211-215.

2016 г.
Авторы: Королев С.А., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.

Вырожденные инвертированные повторы в геномах микобактерий. Современные информационные технологии и ИТ-образование. 2016, том 12, № 1. стр. 162-172.

2016 г.
Авторы: Kanovei V., Lyubetsky V.

A generic property of Solovay"s set Σ. arXiv:1611.00176 [math.LO], November 2016, 4 pp.
Перейти к публикации

2016 г.
Авторы: Kanovei V., Lyubetsky V.

In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3.
Перейти к публикации

Публикаций на странице:    Страница: 12345 ... 1213 14 ... 3839404142
Поиск по публикациям
Год публикации
с по
Автор

Название/ключевое слово

Тип публикации

Наличие в международных базах цитирования
Искать в подразделении

По убыванию даты
По возрастанию даты
 

 

© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте  |  Контакты  |  Противодействие коррупции