An interactive approach for illustrating a proof of the sampling theorem using MATHEMATICA

被引:1
|
作者
Guerrero, Fabio G. [1 ]
机构
[1] Univ Valle, Sch Elect & Elect Engn, Telecommun, Cali, Colombia
关键词
electrical engineering education; Fourier analysis; MATHEMATICA; sampling theorem; Shannon theory; SIGNAL; INTERPOLATION;
D O I
10.1002/cae.22041
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Learning methods in engineering education should evolve to take advantage of the progress of technology. Despite being one of the most important theorems of engineering, at undergraduate level the foundations of sampling theorem are usually oversimplified, whereas at graduate level its proof is frequently presented in the context of a rigorous mathematical framework. This paper presents an interactive approach to illustrate an amenable proof of the sampling theorem through example. Apart from its practical value as a learning tool, the proof captures some mathematical subtleties that can help to understand some more advanced concepts. The goal of this work is to show that learning the sampling theorem through an interactive example of its mathematical proof can be an enjoyable and insightful experience.
引用
收藏
页码:2282 / 2293
页数:12
相关论文
共 50 条
  • [1] CLT - INTERACTIVE APPROACH FOR ILLUSTRATING THE CENTRAL LIMIT-THEOREM
    MAKRIDAKIS, S
    AMERICAN STATISTICIAN, 1979, 33 (02): : 90 - 90
  • [2] A proof of Arrow's impossibility theorem by Mathematica
    Takekuma, SI
    HITOTSUBASHI JOURNAL OF ECONOMICS, 1997, 38 (02) : 139 - 148
  • [3] Simplified proof of the Fourier Sampling Theorem
    Hoyer, P
    INFORMATION PROCESSING LETTERS, 2000, 75 (04) : 139 - 143
  • [4] USING MATHEMATICA IN INTERACTIVE GEOGRAPHY TEACHING
    Trencan, P.
    Kohout, V
    EDULEARN19: 11TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2019, : 1489 - 1497
  • [5] INTERACTIVE TRANSPORT PHENOMENA USING MATHEMATICA
    Hernandez-Morales, B.
    INTED2014: 8TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2014, : 6514 - 6521
  • [6] Proof assistance for real-time systems using an interactive theorem prover
    Kolano, PZ
    THEORETICAL COMPUTER SCIENCE, 2002, 282 (01) : 53 - 99
  • [7] Illustrating anatomic models - A semi-interactive approach
    Preim, B
    Ritter, A
    Strothotte, T
    VISUALIZATION IN BIOMEDICAL COMPUTING, 1996, 1131 : 23 - 32
  • [8] Alternative proof of Bertrand's theorem using a phase space approach
    Quilantan, JLC
    DelRioCorrea, JL
    Medina, MAR
    REVISTA MEXICANA DE FISICA, 1996, 42 (05) : 867 - 877
  • [9] Source-level proof reconstruction for interactive theorem proving
    Paulson, Lawrence C.
    Susanto, Kong Woei
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 232 - +
  • [10] Learning Proof Transformations and Its Applications in Interactive Theorem Proving
    Zhang, Liao
    Blaauwbroek, Lasse
    Kaliszyk, Cezary
    Urban, Josef
    FRONTIERS OF COMBINING SYSTEMS, FROCOS 2023, 2023, 14279 : 236 - 254