Доказательство против понимания в математическом доказательстве

Πηγή: Вестник Томского государственного университета. Философия. Социология. Политология. 2020. № 54. С. 29-38

Θεματικοί όροι: семантика, понимание, синтаксис, математическое доказательство, нотация, интерпретация, доказательство, философия математики

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000721138

Логика и процедуры поиска вывода

Συγγραφείς: Брюшинкин, Владимир

Θεματικοί όροι: ЛОГИКО-МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО, ТЕОРИЯ ПОИСКА ВЫВОДА, ПОРИЗМ, АНАЛИТИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ ДОКАЗАТЕЛЬСТВ, ПРИНЦИП ПОДФОРМУЛЬНОСТИ, АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/logika-i-protsedury-poiska-vyvoda
http://cyberleninka.ru/article_covers/15558223.png

Краткий курс лекций по математике

Θεματικοί όροι: математические понятия, высшая школа, математические предложения, множества, математика, математическое доказательство, комбинаторика

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://lib.vsu.by/jspui/handle/123456789/2007

Логика и процедуры поиска вывода

Πηγή: Логические исследования.

Θεματικοί όροι: ЛОГИКО-МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО, ТЕОРИЯ ПОИСКА ВЫВОДА, ПОРИЗМ, АНАЛИТИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ ДОКАЗАТЕЛЬСТВ, ПРИНЦИП ПОДФОРМУЛЬНОСТИ, АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15558223.png
http://cyberleninka.ru/article/n/logika-i-protsedury-poiska-vyvoda

Проблематика алгоритмизации мышления в свете концепции Дж. Хокинса : магистерская диссертация

The Problem of Algorithmization of Thinking in the Light of the Concept of J. Hawkins

Συγγραφείς: Красов, И. И., Krasov, I. I.

Thesis Advisors: Анкин, Д. В., Ankin, D. V., УрФУ. Уральский гуманитарный институт, Кафедра онтологии и теории познания

Θεματικοί όροι: МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, НЕОКОРТЕКС, МОДЕЛЬ «ПАМЯТЬ-ПРЕДСКАЗАНИЕ», АЛГОРИТМИЗАЦИЯ МЫШЛЕНИЯ, МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО, ОБОЗРИМОСТЬ ДОКАЗАТЕЛЬСТВА, MASTER'S THESIS, ARTIFICIAL INTELLECT, NEOCORTEX, MEMORY-PREDICTION MODEL, ALGORITHMIZATION OF THINKING, MATHEMATICAL PROOF, SURVEYABILITY OF PROOF

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://elar.urfu.ru/handle/10995/60147

Проблематика алгоритмизации мышления в свете концепции Дж. Хокинса : магистерская диссертация

Συγγραφείς: Krasov, I. I.

Συνεισφορές: Анкин, Д. В., Ankin, D. V., УрФУ. Уральский гуманитарный институт, Кафедра онтологии и теории познания

Θεματικοί όροι: МОДЕЛЬ «ПАМЯТЬ-ПРЕДСКАЗАНИЕ», ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, SURVEYABILITY OF PROOF, МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ, ОБОЗРИМОСТЬ ДОКАЗАТЕЛЬСТВА, ALGORITHMIZATION OF THINKING, MASTER'S THESIS, НЕОКОРТЕКС, NEOCORTEX, АЛГОРИТМИЗАЦИЯ МЫШЛЕНИЯ, МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО, ARTIFICIAL INTELLECT, MATHEMATICAL PROOF, MEMORY-PREDICTION MODEL

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://elar.urfu.ru/handle/10995/60147

Краткий курс лекций по математике

Συγγραφείς: Виноградова, А. В., Устименко, В. В.

Θεματικοί όροι: высшая школа, комбинаторика, математика, математические понятия, математические предложения, математическое доказательство, множества

Περιγραφή αρχείου: application/pdf

Relation: https://rep.vsu.by/handle/123456789/2007

Διαθεσιμότητα: https://rep.vsu.by/handle/123456789/2007

Взаимодействие доказательственной математики и права в процессе рационализации культуры

Συγγραφείς: Черемных, Л. Г.

Συνεισφορές: Ганопольский, М. Г.

Θεματικοί όροι: рациональность мышления, доказательство, юридическое доказательство, математическое доказательство, рационализация культуры, математика и право, доказательственная математика, автореферат диссертации

Περιγραφή αρχείου: application/pdf

Relation: https://openrepository.ru/article?id=359085

Διαθεσιμότητα: https://openrepository.ru/article?id=359085

Взаимодействие доказательственной математики и права в процессе рационализации культуры

Συνεισφορές: Ганопольский, М. Г.

Θεματικοί όροι: доказательственная математика, автореферат диссертации, рациональность мышления, математическое доказательство, рационализация культуры, юридическое доказательство, математика и право, доказательство

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://openrepository.ru/article?id=359085

Проблематика алгоритмизации мышления в свете концепции Дж. Хокинса : магистерская диссертация ; The Problem of Algorithmization of Thinking in the Light of the Concept of J. Hawkins

Συγγραφείς: Красов, И. И., Krasov, I. I.

Συνεισφορές: Анкин, Д. В., Ankin, D. V., УрФУ. Уральский гуманитарный институт, Кафедра онтологии и теории познания

Θεματικοί όροι: МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, НЕОКОРТЕКС, МОДЕЛЬ «ПАМЯТЬ-ПРЕДСКАЗАНИЕ», АЛГОРИТМИЗАЦИЯ МЫШЛЕНИЯ, МАТЕМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО, ОБОЗРИМОСТЬ ДОКАЗАТЕЛЬСТВА, MASTER'S THESIS, ARTIFICIAL INTELLECT, NEOCORTEX, MEMORY-PREDICTION MODEL, ALGORITHMIZATION OF THINKING, MATHEMATICAL PROOF, SURVEYABILITY OF PROOF

Περιγραφή αρχείου: application/pdf

Relation: http://elar.urfu.ru/handle/10995/60147

Διαθεσιμότητα: http://elar.urfu.ru/handle/10995/60147

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128; http://dspace.kpfu.ru/xmlui/handle/net/119893

Διαθεσιμότητα: http://dspace.kpfu.ru/xmlui/handle/net/119893
https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Συγγραφείς: Черемных Л. Г., Ганопольский М. Г., Тюменский государственный университет

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128; http://dspace.kpfu.ru/xmlui/handle/net/125892

Διαθεσιμότητα: http://dspace.kpfu.ru/xmlui/handle/net/125892
https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128; http://dspace.kpfu.ru/xmlui/handle/net/118359

Διαθεσιμότητα: http://dspace.kpfu.ru/xmlui/handle/net/118359
https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128; http://dspace.kpfu.ru/xmlui/handle/net/121428

Διαθεσιμότητα: http://dspace.kpfu.ru/xmlui/handle/net/121428
https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128; http://dspace.kpfu.ru/xmlui/handle/net/122916

Διαθεσιμότητα: http://dspace.kpfu.ru/xmlui/handle/net/122916
https://vufind.kpfu.ru/Record/RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Взаимодействие доказательственной математики и права в процессе рационализации культуры : автореферат диссертации на соискание ученой степени кандидата философских наук : 24.00.01

Συγγραφείς: Черемных, Л. Г.

Συνεισφορές: Ганопольский, М. Г.

Θεματικοί όροι: рациональность мышления, доказательство, юридическое доказательство, математическое доказательство, рационализация культуры, математика и право, доказательственная математика, автореферат диссертации

Περιγραφή αρχείου: application/pdf

Relation: Черемных, Лариса Георгиевна. Взаимодействие доказательственной математики и права в процессе рационализации культуры : автореферат диссертации на соискание ученой степени кандидата философских наук : 24.00.01 / Л. Г. Черемных; научный руководитель М. Г. Ганопольский; [Место защиты: Тюменский государственный университет]. – Тюмень, 2009. – 22 с.

Διαθεσιμότητα: https://elib.utmn.ru/jspui/handle/ru-tsu/2480

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Συγγραφείς: Черемных Л. Г., Ганопольский М. Г., Тюменский государственный университет

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://openrepository.ru/article?id=164127

Διαθεσιμότητα: https://openrepository.ru/article?id=164127

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://openrepository.ru/article?id=160823

Διαθεσιμότητα: https://openrepository.ru/article?id=160823

Взаимодействие доказательственной математики и права в процессе рационализации культуры: автореф. дис. . канд. филос. наук: 24.00.01

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://openrepository.ru/article?id=155760

Διαθεσιμότητα: https://openrepository.ru/article?id=155760

[Untitled]

Συγγραφείς: Черемных Л. Г., Ганопольский М. Г., Тюменский государственный университет

Πηγή: RU$2FTUMENTEMPORARY$2FBOOK$2F$2D321128

Θεματικοί όροι: рациональность мышления, рационализация культуры, математика и право, доказательственная математика, доказательство, юридическое доказательство, математическое доказательство

Relation: https://openrepository.ru/article?id=162475

Διαθεσιμότητα: https://openrepository.ru/article?id=162475