Вход Блог
Строительство и ремонт
Репетиторы
Красота
Фрилансеры
Разные специалисты
Тренеры
Уход за животными
Автоинструкторы

Обучение программированию — работа в Москве

Дата: 2025-04-13
Детали
Регион
Москва
Занятость
дистанционно
Стоимость
договорная
Дата публикации
2025-04-13
Описание
Язык программирования: Lean Для себя Здравствуйте! Интересует доказательство логических утверждений с помощью прувера Lean. Пример: https://live.lean-lang.org/#codez=HYQwtgpgzgDiDGEAEBRAHhATvAllCArAFABuImOIARgDbIAUgY8BKATwEoD3ASAXEgAqYB7GAEoiAegC0RAJLAkAFwAWeJBDSJMUHIiQBPAQFckAdxw0aSGIIEAzJFAGRLgmAK3ycA4FCIGtwAHMkEDRPMCgkW2CqKHlMBHlnITccDy8QC3gM+AMaPwAaIhw5JRU1LFx8JD8QAOQokGBdBQTtCMaAEyQAIhsDYG6kPCIbAUwqHA6OiGB8vUNI4BpmrLk/ZBCwiOmbYoguqggaAWMiegSDDOXgiP0jOnJgfaG5eBoQKAiAWV4kRRg/jAAI5IVZIQ5IABWfkSxgo8nkMxugJB/zmVAMsOQxkaiK68gEqjAcFK+F8UFq9Tsm0cUDmDhM8OQP0BKNEEjERCINLASAAggBGJD0NjMHj8ITCbjCtiAJMJhcx5SxhKIefyAEwypDMdjilxSnj0JiykWy9gq4Qm43Kk2MM0q7mhRz8gDMWsYesl0qNABqbfQfYwVVaAzbtZblUQdkgWQBvAEgz0wAC+wv+0pEaeBGaQ8qBBqQiYAvCjAVzxFIABJYZAEpIkYpBByQUqBEzYswWdY9JQQMYQMCDYqxCAgLpRbpqcAwOiDJQgRJ3ADkJGQD0wTy6xVB70+ADokAAVRQQIjQfDADwZJAdHA2Gw14A6FTzxK9/u8xQfJCgSBzTpDIkYIQusXS1CAxT/rcCymOY9gQMg25TsSdDgkcJx7jI8hLhEUC6JemwRC+J5IKM5gnI2XBcu+mADj0v5UgoJ4foMPDdLEC4DjMb5fouCzkMgAQCI2CiElYAi2KxJbdOJklEByXKSEQ1a0cEqnyMYYnWDYERRHajBzLsmiJPQr5DBE7yHHQ+IEFKKi3g20xbpehL4BQ0CRHYxSIpgkC3pxTF9rR4SgmMtGwF4t5tnWI4wD4ZnLquN5eIhry7hEMWKCcTEqDYCQHnywD4iR+DwJF5mqJ83GUOYzS9vY4DIBiiTbilSA0HsmEKRWIw4MZ8mcjRdHyEKhrGka+mWkGwYTbasrTXN03cEWRBIBqCrzVKzCMEQQ28vImreoqwrGkG8pLVwK1rYK2obUGu3McFChumNdqnTNk0GldMa/KZmpBsKI3hg9QXDQALEdi0qstq38kK20gx+CgEJDAOXbDLKmRDAOmW6909aVkUDYjT2JIak0w2tmP0Dd23Q/QmO03d9N8pq723dNXJrUpAByJxzOJDbRSeVRqFY56eN4cx3KCjQ3hAuxPPYjipT5YCTJQiIk8NhJgCAADWyCyXYYD9kgtFjtQdAHgAmgsX5JXWtEzggyAOJgmDNKYSjcnIFzXsbxPa7yIDegGk2bZdyse7oilSLIqgYNgeAeVQ+SAIIga0yw7GxTKkkvXh8UAGMSaTeExC7zEYYLrHMJ6qTL/SjJg8j9Jx1zN4gHS7YScKpMgECrp7rZBK1SsdU86IQFk3Z7clHnAAIiRXNldbdkXJcwGXkSYlo0yecEgUfl1g2PXRVBpqN2qysqabqlwLD2tKCq5hwwhR+7nvlnP8CX9Kx0ilfuad+Wp5RMCASqD+YVY7UTPryLoho/SykDJaa078SyfxgWeIqqAk6VEIOWLkDFYCu1wVgLQiAABsPUE6kkTuQ7QyAZYr2MM8NeVRej9EGABDoXglzL3Iqw/EhJ15OnCPSQkOdSL9HZJyMgFArYMD5EgAAQkgAAwtKCUIg47KRrBVOWyEZzIGJnPAQPA3qMEABREt8o70D6HIRQAouDMEAGWESAADymA9zFAsE40QsDQYh3JjY1BLArFowwdA7+cDwTk0AORENoxRRJjjEoJoIEnmitI/LJTAbH2i+tHL+XIZhdHQAwqhRAgA
Похожие заказы

Обучение программированию

дистанционно
договорная
Язык программирования: C# Для ребёнка Ребенок 15 лет, умеет влезть в игру растения против зомби и перепрограммировать там персонажей, создать новых. Придумал сам сделать игру на основе законов физики. Говорит что для этого нужно знать язык С#. Поучить с ребёнком этот язык с прицелом на то чтобы он смог написать эту игру, возможно помочь ему писать. На лето
Москва Репетиторы

Обучение программированию

дистанционно
договорная
Язык программирования: Python Для себя Хочу создать визуальную новеллу но не знаю как
Москва Репетиторы

Обучение Python

дистанционно
от 2000.00 руб.
Для себя Разработать telegram бота для публикации постов в канал
Краснодар Репетиторы

Обучение 1С-программированию

без разницы
договорная
Для себя Нужна помощь в решении задачи: есть документ "ПриходнаяНакладная" с реквизитом - полем формы "Склад" (тип СправочникСсылкаСклады) и с табличной частью "Материалы" с реквизитами: Материал (тип СправочникСсылкаНоменклатура), Количество (тип число, длина 12, точность 2), Цена (тип число, длина 12, точность 2), Сумма (тип число, длина 12, точность 2). дл. чтения/записи строк табличной части применяла методы Объекта (вызовы Объект.Материалы.Цена, Объект.Материалы.Сумма дают ошибку "Поле объекта не обнаружено"), и методы Элементов формы (вызовы Элементы.МатериалыЦена, Элементы.МатериалыСумма возвращают значения "ПолеФормы", "Элемент коллекции значений"). Пыталась получить строку таблицы вызовами: строкаТабличнЧасти=Элементы.Материалы.ТекущиеДанные, или строкаТабличнЧасти=Объект.Материалы.Получить(индексСтроки), и далее извлечь значения полей, применяя цикл: Для Каждого подСтрока Из строкаТабличнЧасти Цикл, но в обоих случаях получила ошибку "Итератор для значения не определен Предлагали помощь по удаленному доступу, но у меня не работает программа AnyDesk (блокируется выход в Интернет), могу ответить по электронной почте [Email скрыт], [Email скрыт], т. [Телефон скрыт]
Красноярск Репетиторы

Обучение фронтенд-разработке

дистанционно
договорная
Для себя Ищу ментора по Frontend-разработке. О себе: Изучаю фронтенд и хочу системно развивать навыки под руководством опытного специалиста. Ищу не просто преподавателя, а ментора, который поможет выстроить правильный подход к обучению и развитию в профессии. Что интересно изучать: * JavaScript (ES6+) * TypeScript * React * Работа с API * Архитектура приложений * Git и командная разработка Формат занятий: * Онлайн * 1 раз в неделю * С упором на практику, разбор кода и обратную связь * Желателен опыт коммерческой разработки и наставничества Цель: Сформировать прочный фундамент во фронтенд-разработке, глубоко разобраться в ключевых технологиях и лучших практиках, научиться писать качественный и поддерживаемый код, а также выработать системное понимание разработки современных веб-приложений. При отклике прошу рассказать о вашем опыте, стеке технологий и формате менторства.
Санкт-Петербург Репетиторы

Машинное обучение

дистанционно
договорная
Для себя Готовлюсь к собеседованию на аналитика в команду работает с кредитным скорингом. Одно из требований - понимать принципы классического ML. Хочу углубить сввои знания в этой теме за несколько занятий. Интересно узнать какие подходы из классического ML лучше всего подходят для кредитного скоринга, про метрики, про отбор и анализ признаков, что-то еще важное, что нужно для общего понимания
Ханты-Мансийский АО Репетиторы

Веб-дизайн

дистанционно
договорная
UX-UI дизайн. Дизайн сайта. Продукт: Добрый день! Есть сайт. Нужно переделать, улучшить юзабилити: изменить порядок блоков на странице, убрать лишние пункты меню, облегчить путь пользователя до целевого действия. ТЗ дам, а также готова выслушать Ваше предложение. Интересуют примерные расценки. Адрес сайта скину по запросу. Объём работ: 10-15. Техническое задание есть.
Москва Фрилансеры